InKreSAT

MaRDI QIDQ35221swMATHFDO

Official website http://www.ps.uni-saarland.de/~kaminski/inkresat/

Described by source

• InKreSAT: modal reasoning via incremental reduction to SAT

Cited in

(14)

• An assumption-based approach for solving the minimal S5-satisfiability problem
• Local is best: efficient reductions to modal logic \textsf{K}
• CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
• FaCT++
• \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
• SAT-based explicit LTL reasoning and its application to satisfiability checking
• Spartacus
• \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
• HyLoRes
• BDDTab
• Modal logic S5 satisfiability in answer set programming
• Verified Decision Procedures for Modal Logics.
• MOIN
• Leviathan

This page was built for software: InKreSAT