BDDTab

swMATH32306MaRDI QIDQ44017FDOQ44017

Author name not available (Why is that?)

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

Cited In (4)

• CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
• Implementing Tableau Calculi Using BDDs: BDDTab System Description
• \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
• : A Resolution-Based Prover for Multimodal K

This page was built for software: BDDTab