Generalizing DPLL and satisfiability for equalities

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

Onderzoeksoutput: Boek/rapport › Rapport › Academic

187 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