|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
18 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An empirical study of phase transitions in binary constraint satisfaction problems |
Prosser, Patrick |
1996 |
81 | 1-2 |
p. 81-109 29 p. |
artikel |
|
| 2 | A probabilistic analysis of prepositional STRIPS planning |
Bylander, Tom |
1996 |
81 | 1-2 |
p. 241-271 31 p. |
artikel |
|
| 3 | A study of complexity transitions on the asymmetric traveling salesman problem |
Zhang, Weixiong |
1996 |
81 | 1-2 |
p. 223-239 17 p. |
artikel |
|
| 4 | Author index—Volume 81 (1996) |
1996 |
81 | 1-2 |
p. 355-356 2 p. |
artikel |
||
| 5 | Critical behavior in the computational cost of satisfiability testing |
Selman, Bart |
1996 |
81 | 1-2 |
p. 273-295 23 p. |
artikel |
|
| 6 | Editorial Board |
1996 |
81 | 1-2 |
p. IFC- 1 p. |
artikel |
||
| 7 | Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems |
Pemberton, Joseph C. |
1996 |
81 | 1-2 |
p. 297-325 29 p. |
artikel |
|
| 8 | Experimental results on the crossover point in random 3-SAT |
Crawford, James M. |
1996 |
81 | 1-2 |
p. 31-57 27 p. |
artikel |
|
| 9 | Forthcoming papers |
1996 |
81 | 1-2 |
p. 349-353 5 p. |
artikel |
||
| 10 | Generating hard satisfiability problems |
Selman, Bart |
1996 |
81 | 1-2 |
p. 17-29 13 p. |
artikel |
|
| 11 | Hard random 3-SAT problems and the Davis-Putnam procedure |
Freeman, Jon W. |
1996 |
81 | 1-2 |
p. 183-198 16 p. |
artikel |
|
| 12 | Implicates and prime implicates in Random 3-SAT |
Schrag, Robert |
1996 |
81 | 1-2 |
p. 199-222 24 p. |
artikel |
|
| 13 | Locating the phase transition in binary constraint satisfaction problems |
Smith, Barbara M. |
1996 |
81 | 1-2 |
p. 155-181 27 p. |
artikel |
|
| 14 | Phase transitions and the search problem |
Hogg, Tad |
1996 |
81 | 1-2 |
p. 1-15 15 p. |
artikel |
|
| 15 | Problem structure heuristics and scaling behavior for genetic algorithms |
Clearwater, Scott H. |
1996 |
81 | 1-2 |
p. 327-347 21 p. |
artikel |
|
| 16 | Refining the phase transition in combinatorial search |
Hogg, Tad |
1996 |
81 | 1-2 |
p. 127-154 28 p. |
artikel |
|
| 17 | Some pitfalls for experimenters with random SAT |
Mitchell, David G. |
1996 |
81 | 1-2 |
p. 111-125 15 p. |
artikel |
|
| 18 | The satisfiability constraint gap |
Gent, Ian P. |
1996 |
81 | 1-2 |
p. 59-80 22 p. |
artikel |
18 gevonden resultaten