Title of article
Generalizing DPLL and satisfiability for equalities
Author/Authors
Bahareh Badban، نويسنده , , Jaco van de Pol، نويسنده , , Olga Tveretina، نويسنده , , Hans Zantema، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
24
From page
1188
To page
1211
Keywords
Ground term algebra , DPLL procedure , Equality , Decision procedure , Inductive datatypes , satisfiability
Journal title
Information and Computation
Serial Year
2007
Journal title
Information and Computation
Record number
262424
Link To Document