Nonlinear approaches to satisfiability problems

J.P. Warners

Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

707 Downloads (Pure)
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • Mathematics and Computer Science
  • Groote, Jan Friso, Promotor
  • Leeuwen, van, J., Promotor, External person
  • Maaren, van, H., Copromotor, External person
Award date14 Sept 1999
Place of PublicationEindhoven
Print ISBNs90-9012936-7
Publication statusPublished - 1999

Cite this