Nonlinear approaches to satisfiability problems

J.P. Warners

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

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

Cite this