Automated discovery of composite SAT variable-selection heuristics (2002)

by A S Fukunaga
Venue:In 18th National Conference on Artificial Intelligence