Local Search Strategies for Satisfiability Testing (1995)

by Bart Selman , Henry Kautz , Bram Cohen
Venue:DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE
Citations:270 - 25 self