Optimizing a BDD-based modal solver.

DOI10.1007/B11829MaRDI QIDQ5900711zbMATH OpenOpenAlexFDO

Authors Guoqiang Pan, Moshe Y. Vardi

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11829

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• BDD-based decision procedures for the modal logic K ★
• Evaluating optimized decision procedures for propositional modal K(m) satisfiability
• Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability
• Implementing tableau calculi using BDDs: BDDTab system description
• Theory and Applications of Satisfiability Testing

Cited in

(3)

• A self-adaptive multi-engine solver for quantified Boolean formulas
• A solver for QBFs in negation normal form
• Message passing algorithm for solving QBF using more reasoning

Describes a project that uses

Uses Software

• MSPASS

This page was built for publication: Optimizing a BDD-based modal solver.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900711)