Nonlinear approaches to satisfiability problems

J.P. Warners

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

614 Downloads (Pure)

Original language	English
Qualification	Doctor 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 date	14 Sep 1999
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	90-9012936-7
DOIs	https://doi.org/10.6100/IR526346
Publication status	Published - 1999

Access to Document