| Original language | English |
|---|---|
| Qualification | Doctor of Philosophy |
| Awarding Institution |
|
| Supervisors/Advisors |
|
| Award date | 14 Sep 1999 |
| Place of Publication | Eindhoven |
| Publisher | |
| Print ISBNs | 90-9012936-7 |
| DOIs | |
| Publication status | Published - 1999 |
Nonlinear approaches to satisfiability problems
J.P. Warners
Research output: Thesis › Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)