Cited in
(11)- CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- FaCT++
- Spartacus
- HyLoRes
- InKreSAT
- ArchSAT
- intuit
- Implementing tableau calculi using BDDs: BDDTab system description
- MOIN
- \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
This page was built for software: BDDTab
