Sign in

Towards Understanding and Harnessing the Potential of Clause Learning.

Paul BeameHenry A. KautzAshish Sabharwal
Published in: J. Artif. Intell. Res. (2004)
Keyphrases
  • clause learning
  • sat solvers
  • machine learning
  • orders of magnitude
  • artificial intelligence
  • linear programming
  • collective intelligence