Local Search Algorithms for SAT: An Empirical Evaluation Holger H. HoosThomas Stützle OriginalPaper Pages: 421 - 481
Nonsystematic Search and No-Good Learning E. Thomas RichardsBarry Richards OriginalPaper Pages: 483 - 533