Binary Decision Diagrams for First Order Predicate Logic

DSpace/Manakin Repository

Binary Decision Diagrams for First Order Predicate Logic
 
Groote, J.F.
(1995) Logic Group Preprint Series, volume 127
(Preprint)
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.
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: Automatic Reasoning, Binary Decision Diagrams, First Order Predicate Logic
 
 
See more statistics about this item