Items where Author is "<span class="person_name">van de Pol, Jaco</span>"
Number of items: 2.
Article
  • Generalizing DPLL and satisfiability for equalities. (2007) Baharen Badban, Jaco van de Pol, Olga Tveretina and Hans Zantema
    • Other
  • A BDD-Representation for the Logic of Equality and Uninterpreted Functions. (2005) Jaco van de Pol and Olga Tveretina