|
Journals in DBLP
- Edward A. Hirsch
New Worst-Case Upper Bounds for SAT. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2000, v:24, n:4, pp:397-420 [Journal]
- Holger H. Hoos, Thomas Stützle
Local Search Algorithms for SAT: An Empirical Evaluation. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2000, v:24, n:4, pp:421-481 [Journal]
- E. Thomas Richards, Barry Richards
Nonsystematic Search and No-Good Learning. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2000, v:24, n:4, pp:483-533 [Journal]
|