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 ...