 |
    |
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description
Rajeev Goré and Jimmy Thomson
Logic and Computation Group, Australian National University, AustraliaAbstract. We previously presented a decision procedure for satisfiability and validity in propositional intuitionistic logic Int using Binary Decision Diagrams (BDDs). We now present some further optimisations which greatly improve performance. Primarily we focus on the impact and placement of an explicit mechanism for BDD variable ordering.
LNAI 7898, p. 275 ff.
lncs@springer.com
© Springer-Verlag Berlin Heidelberg 2013