Justin A. Boyan Andrew W. Moore Learning Evaluation Functions for Global Optimization and Boolean Satisfiability. 3-10 1998 AAAI/IAAI db/conf/aaai/aaai98.html#BoyanM98