intuit

swMATH33643MaRDI QIDQ45352FDOQ45352

Author name not available (Why is that?)

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

Described by source

• SAT Modulo Intuitionistic Implications

Cited In (5)

• Goal-oriented proof-search in natural deduction for intuitionistic propositional logic
• CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
• Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT
• SAT-based proof search in intermediate propositional logics
• A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic

This page was built for software: intuit