Badban, Bahareh; Van De Pol, Jaco; Tveretina, Olga; Zantema, Hans Generalizing DPLL and satisfiability for equalities. (English) Zbl 1121.68102 Inf. Comput. 205, No. 8, 1188-1211 (2007). MSC: 68T15 68T20 03B25 03B35 PDFBibTeX XMLCite \textit{B. Badban} et al., Inf. Comput. 205, No. 8, 1188--1211 (2007; Zbl 1121.68102) Full Text: DOI
Badban, Bahareh; van de Pol, Jaco Zero, successor and equality in BDDs. (English) Zbl 1064.03009 Ann. Pure Appl. Logic 133, No. 1-3, 101-123 (2005). MSC: 03B20 03B25 03B35 68T15 68Q42 PDFBibTeX XMLCite \textit{B. Badban} and \textit{J. van de Pol}, Ann. Pure Appl. Logic 133, No. 1--3, 101--123 (2005; Zbl 1064.03009) Full Text: DOI Link