Pages that link to "Item:Q3192204"
From MaRDI portal
The following pages link to Implementing Tableau Calculi Using BDDs: BDDTab System Description (Q3192204):
Displaying 6 items.
- CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT (Q2142066) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- Verified Decision Procedures for Modal Logics. (Q5875443) (← links)
- Non-classical logics in satisfiability modulo theories (Q6541143) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)