BDDTab

MaRDI QIDQ44017swMATHFDO

Official website https://github.com/jasonjli/bddtab

Source code repository https://github.com/jasonjli/bddtab

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