|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An efficient local search method for random 3-satisfiability |
Seitz, Sakari |
2003 |
16 | C |
p. 71-79 9 p. |
article |
|
| 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. |
article |
|
| 3 | Preface |
Kranakis, Evangelos |
2003 |
16 | C |
p. 93- 1 p. |
article |
|
| 4 | Recognizing more random unsatisfiable 3-SAT instances efficiently |
Goerdt, Andreas |
2003 |
16 | C |
p. 21-46 26 p. |
article |
|
| 5 | Resolution Complexity of Random Constraint Satisfaction Problems: Another Half of the Story |
Gao, Yong |
2003 |
16 | C |
p. 15-20 6 p. |
article |
|
| 6 | SAT Distributions with Phase Transitions between Decision and Optimization Problems |
Dimitriou, Tassos |
2003 |
16 | C |
p. 1-14 14 p. |
article |
|
| 7 | Selecting Complementary Pairs of Literals |
Kaporis, Alexis C. |
2003 |
16 | C |
p. 47-70 24 p. |
article |
7 results found