Items where Author is "Zantema, Hans"

Number of items: 4.
Article
  • Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010) Olga Tveretina, Carsten Sinz and Hans Zantema picture_as_pdf
  • Generalizing DPLL and satisfiability for equalities. (2007) Baharen Badban, Jaco van de Pol, Olga Tveretina and Hans Zantema
    • Conference or Workshop Item
  • An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009) Olga Tveretina, Carsten Sinz and Hans Zantema
    • Other
  • A Proof System and a Decision Procedure for Equality Logic. (2004) Olga Tveretina and Hans Zantema