An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description
Date
2013
Authors
Gore, Rajeev
Thomson, James
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
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 o
Description
Keywords
Keywords: Binary decision diagrams (BDDs); Decision procedure; Improve performance; Intuitionistic logic; Intuitionistic propositional logic; Satisfiability; System description; Variable ordering; Binary decision diagrams; Formal logic
Citation
Collections
Source
CADE 2013
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description