Generalizing DPLL and satisfiability for equalities
Bahareh Badban, Jaco van de Pol, Olga Tveretina, Hans ZantemaVolume:
205
Year:
2007
Language:
english
Pages:
24
DOI:
10.1016/j.ic.2007.03.003
File:
PDF, 209 KB
english, 2007