Items where Author is "van de Pol, Jaco"

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
    • This list was generated on Wed Jul 22 01:53:01 2026 BST.