Generalizing DPLL and satisfiability for equalities

B. Badban, J.C. Pol, van de, O. Tveretina, H. Zantema

Research output: Book/ReportReportAcademic

49 Downloads (Pure)
Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages28
Publication statusPublished - 2004

Publication series

NameCWI report. SEN-R : software engineering
Volume0407
ISSN (Print)1386-369X

Cite this

Badban, B., Pol, van de, J. C., Tveretina, O., & Zantema, H. (2004). Generalizing DPLL and satisfiability for equalities. (CWI report. SEN-R : software engineering; Vol. 0407). Amsterdam: Centrum voor Wiskunde en Informatica.