Publication:2741540
From MaRDI portal
zbMath0991.68564MaRDI QIDQ2741540
E. Horvitz, Carla P. Gomes, Bart Selman, Mark E. Stickel, Henry A. Kautz, Yongshao Ruan, Max Chickering
Publication date: 24 September 2001
91B02: Fundamental topics (basic mathematics, methodology; applicable to economics in general)
68T30: Knowledge representation
Related Items
Statistical regimes across constrainedness regions, Learning dynamic algorithm portfolios, Measuring instance difficulty for combinatorial optimization problems, Understanding the role of noise in stochastic local search: analysis and experiments, Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks, A machine learning approach to algorithm selection for \(\mathcal{NP}\)-hard optimization problems: a case study on the MPE problem, The state of SAT
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Optimal speedup of Las Vegas algorithms
- The complexity of completing partial Latin squares
- A Bayesian method for the induction of probabilistic networks from data
- Bayesian analysis in expert systems. With comments and a rejoinder by the authors
- Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
- The state of SAT
- 10.1162/153244301753344614
- Learning to reason
- A machine program for theorem-proving