Burnett, Andrew

University of Nottingham

Exploring the Landscape of the Space of Heuristics for Local Search in SAT

Andrew Burnett and Andrew Parkes