Generalizing DPLL and satisfiability for equalities

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

Research output: Book/ReportReportAcademic

53 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