|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An efficient local search method for random 3-satisfiability |
Seitz, Sakari |
2003 |
16 | C |
p. 71-79 9 p. |
artikel |
|
| 2 | An Empirical Study of MAX-2-SAT Phase Transitions 1 1 Partially supported by the National Science Foundation under Grant CCR-0098093. |
Shen, Haiou |
2003 |
16 | C |
p. 80-92 13 p. |
artikel |
|
| 3 | Preface |
Kranakis, Evangelos |
2003 |
16 | C |
p. 93- 1 p. |
artikel |
|
| 4 | Recognizing more random unsatisfiable 3-SAT instances efficiently |
Goerdt, Andreas |
2003 |
16 | C |
p. 21-46 26 p. |
artikel |
|
| 5 | Resolution Complexity of Random Constraint Satisfaction Problems: Another Half of the Story |
Gao, Yong |
2003 |
16 | C |
p. 15-20 6 p. |
artikel |
|
| 6 | SAT Distributions with Phase Transitions between Decision and Optimization Problems |
Dimitriou, Tassos |
2003 |
16 | C |
p. 1-14 14 p. |
artikel |
|
| 7 | Selecting Complementary Pairs of Literals |
Kaporis, Alexis C. |
2003 |
16 | C |
p. 47-70 24 p. |
artikel |
7 gevonden resultaten