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 prover for multimodal K
• \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments

This page was built for software: BDDTab