Items where Author is "<span class="person_name">Badban, Baharen</span>"
Number of items: 1.
Article
  • Generalizing DPLL and satisfiability for equalities. (2007) Baharen Badban, Jaco van de Pol, Olga Tveretina and Hans Zantema