Skip navigation
Skip navigation

An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description

Gore, Rajeev; Thomson, James

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 o

CollectionsANU Research Publications
Date published: 2013
Type: Conference paper
URI: http://hdl.handle.net/1885/65709
Source: CADE 2013
DOI: 10.1007/978-3-642-38574-2_19

Download

File Description SizeFormat Image
01_Gore_An_Improved_BDD_Method_for_2013.pdf164.19 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator