Generalizing DPLL and satisfiability for equalities

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

Research output: Book/Report › Report › Academic

153 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages28
Publication statusPublished - 2004

Publication series

NameComputer science reports
Volume0414
ISSN (Print)0926-4515

Access to Document

  • 200414Final published version, 275 KB

    Cite this