Items where Author is "Badban, Baharen"

Number of items: 1.
  • Generalizing DPLL and satisfiability for equalities. (2007) Baharen Badban, Jaco van de Pol, Olga Tveretina and Hans Zantema