Volume 24, Issue 4 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 24, Issue 4

May 2000

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

New Worst-Case Upper Bounds for SAT
Edward A. Hirsch
OriginalPaper Pages: 397 - 420
Local Search Algorithms for SAT: An Empirical Evaluation
Holger H. Hoos
Thomas Stützle
OriginalPaper Pages: 421 - 481
Nonsystematic Search and No-Good Learning
E. Thomas Richards
Barry Richards
OriginalPaper Pages: 483 - 533