Sign in
Towards Understanding and Harnessing the Potential of Clause Learning.
Paul Beame
Henry A. Kautz
Ashish Sabharwal
Published in:
J. Artif. Intell. Res. (2004)
Keyphrases
</>
clause learning
sat solvers
machine learning
orders of magnitude
artificial intelligence
linear programming
collective intelligence