Login / Signup
A Bayesian Approach to Tackling Hard Computational Problems (Preliminary Report).
Eric Horvitz
Yongshao Ruan
Carla P. Gomes
Henry A. Kautz
Bart Selman
David Maxwell Chickering
Published in:
Electron. Notes Discret. Math. (2001)
Keyphrases
</>
computational problems
reasoning tasks
constraint satisfaction problems
exact algorithms
argumentation frameworks
constraint satisfaction
automated reasoning