Publication

Number of items: 1.
August 2007
  • Generalizing DPLL and satisfiability for equalities. (2007) Baharen Badban, Jaco van de Pol, Olga Tveretina and Hans Zantema
    • This list was generated on Sun Nov 1 02:56:26 2026 GMT.