Items where Author is "van de Pol, Jaco"

Item Type No Grouping

A BDD-Representation for the Logic of Equality and Uninterpreted Functions. (2005) Jaco van de Pol and Olga Tveretina

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