A Bayesian Approach to Tackling Hard Computational Problems
Data up to Jan 2025
Total Citations Per Year
Abstract
References (25)
Untitled
1992 • 3,557 citations
A machine program for theorem-proving
1962 • 3,199 citations
Bayesian Analysis in Expert Systems
1993 • 704 citations
A filtering algorithm for constraints of difference in CSPs
1994 • 670 citations
Using CSP look-back techniques to solve real-world SAT instances
1997 • 613 citations
Boosting combinatorial search through randomization
1998 • 571 citations
Planning and Control
1991 • 463 citations
Unifying SAT-based and graph-based planning
1999 • 442 citations
Optimal speedup of Las Vegas algorithms
2002 • 385 citations
Untitled
2000 • 379 citations
A Bayesian approach to learning Bayesian networks with local structure
1997 • 339 citations
Heuristics based on unit propagation for satisfiability problems
1997 • 337 citations
Explanation-based learning:A problem solving perspective
1989 • 225 citations
Decision-theoretic troubleshooting
1995 • 223 citations
Explanation-based learning: a problem solving perspective
1990 • 209 citations
Reasoning under varying and uncertain resource constraints
1988 • 193 citations
The complexity of completing partial Latin squares
1984 • 185 citations
Generating Satisfiable Problem Instances
2000 • 150 citations
Problem structure in the presence of perturbations
1997 • 136 citations
Balance and filtering in structured satisfiable problems
2001 • 68 citations
Ideal reformulation of belief networks
1990 • 50 citations
Integrating abstraction and explanation-based learning in PRODIGY
1991 • 41 citations
Dependency Networks for Density Estimation, Collaborative Filtering, and Data Visualization
2000 • 28 citations
Learning to reason
1994 • 23 citations
Reasoning, metareasoning, and mathematical truth: studies of theorem proving under limited resources
1995 • 19 citations