Cited in
(14)- CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
- Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
- A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic
- ILTP
- fCube
- Imogen
- Gen2sat
- JTabWb
- IntHistGC
- Psyche
- ArchSAT
- BDDTab
- Para-disagreement logics and their implementation through embedding in Coq and SMT
- SAT-based proof search in intermediate propositional logics
This page was built for software: intuit
