Automated Discovery of Composite SAT VariableSelection Heuristics (2002)

by A S Fukunaga
Venue:Eighteenth National Conference on Artificial Intelligence (AAAI-2002