- UHRA Home
- Browsing by Author
Browsing by Author "Groote, Jan Friso"
Now showing items 1-1 of 1
-
Binary decision diagrams for first-order predicate logic
Groote, Jan Friso; Tveretina, Olga (2003)Binary decision diagrams (BDDs) are known to be a very efficient technique to handle propositional formulas. We present an extension of BDDs such that they can be used for predicate logic. We define BDDs similar to Bryant ...