1997/02/01 by Avrim L. Blum, Avrim Blum, Merrick L. Furst · 28 citationsComputer Science · #AI-based Problem Solving and Planning #Logic, Reasoning, and Knowledge #Constraint Satisfaction and Optimization
paper · doi:10.1016/s0004-3702(96)00047-1