| Original language | Undefined |
|---|---|
| Place of Publication | Enschede |
| Publisher | University of Twente |
| Number of pages | 14 |
| ISBN (Print) | 0169-2690 |
| Publication status | Published - 2004 |
Publication series
| Name | Memorandum Afdeling TW |
|---|---|
| No. | 1709 |
Keywords
- METIS-219682
An improved local search algorithm for 3-SAT
- T. Brueggemann
- , Walter Kern
Research output: Book/Report › Report › Professional