Rina Dechter Judea Pearl Network-Based Heuristics for Constraint-Satisfaction Problems. 1-38 1987 34 Artif. Intell. 1 db/journals/ai/ai34.html#DechterP87