Binary Decision Diagrams for First Order Predicate Logic
Publication date
1995-01
Authors
Groote, J.F.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
We present an extension of Binary Decision Diagrams (BDDs) such that they can be used for predicate
logic. We present a sound and complete proof search method which we apply to a number of examples.
Keywords
Automatic Reasoning, Binary Decision Diagrams, First Order Predicate Logic