An improved BDD method for intuitionistic propositional logic: BDDIntKt system description. 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.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
- Goré, Rajeev; Thomson, Jimmy: An improved BDD method for intuitionistic propositional logic: BDDIntKt system description (2013)