intuit

swMATH33643MaRDI QIDQ45352

No author found.

Source code repository: https://github.com/koengit/intuit

Described by source

• SAT Modulo Intuitionistic Implications

Related Items (5)

CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT ⋮ A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic ⋮ Goal-oriented proof-search in natural deduction for intuitionistic propositional logic ⋮ 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