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