Items where Author is "Zantema, Hans"

Item Type No Grouping

Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. (2010) Olga Tveretina, Carsten Sinz and Hans Zantema picture_as_pdf

An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas. (2009) Olga Tveretina, Carsten Sinz and Hans Zantema

Generalizing DPLL and satisfiability for equalities. (2007) Baharen Badban, Jaco van de Pol, Olga Tveretina and Hans Zantema

A Proof System and a Decision Procedure for Equality Logic. (2004) Olga Tveretina and Hans Zantema