R. Dechter;J. Pearl
Univ. of California at Los Angeles, CA;Univ. of California at Los Angeles, CA
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
New decision rules for exact search in N-Queens
Journal of Global Optimization