TY - GEN
T1 - An improved BDD method for intuitionistic propositional logic
T2 - 24th International Conference on Automated Deduction, CADE 2013
AU - Goré, Rajeev
AU - Thomson, Jimmy
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84879921023&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-38574-2_19
DO - 10.1007/978-3-642-38574-2_19
M3 - Conference contribution
SN - 9783642385735
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 275
EP - 281
BT - CADE 2013 - 24th International Conference on Automated Deduction, Proceedings
Y2 - 9 June 2013 through 14 June 2013
ER -