Title of article :
Generalizing DPLL and satisfiability for equalities
Author/Authors :
Bahareh Badban، نويسنده , , Jaco van de Pol، نويسنده , , Olga Tveretina، نويسنده , , Hans Zantema، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
Ground term algebra , DPLL procedure , Equality , Decision procedure , Inductive datatypes , satisfiability
Journal title :
Information and Computation
Journal title :
Information and Computation
