- UHRA Home
- Browsing by Author
Browsing by Author "van de Pol, Jaco"
Now showing items 1-2 of 2
-
A BDD-Representation for the Logic of Equality and Uninterpreted Functions
van de Pol, Jaco; Tveretina, Olga (Springer Nature, 2005) -
Generalizing DPLL and satisfiability for equalities
Badban, Baharen; van de Pol, Jaco; Tveretina, Olga; Zantema, Hans (2007-08)We present GDPLL, a generalization of the DPLL procedure. It solves the satisfiability problem for decidable fragments of quantifier-free first-order logic. Sufficient conditions are identified for proving soundness, ...