Generalizing DPLL and satisfiability for equalities

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

Onderzoeksoutput: Boek/rapport › Rapport › Academic

163 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's28
StatusGepubliceerd - 2004

Publicatie series

NaamComputer science reports
Volume0414
ISSN van geprinte versie0926-4515

Toegang tot document

  • 200414Definitieve gepubliceerde versie, 275 KB

    Citeer dit