Encyclopedia of Machine Learning

2010 Edition
| Editors: Claude Sammut, Geoffrey I. Webb

Clause Learning

Reference work entry
DOI: https://doi.org/10.1007/978-0-387-30164-8_117

In  speedup learning, clause learning is a  deductive learning technique used for the purpose of  intelligent backtracking in satisfiability solvers. The approach analyzes failures at backtracking points and derives clauses that must be satisfied by the solution. The clauses are added to the set of clauses from the original satisfiability problem and serve to prune new search nodes that violate them.

Copyright information

© Springer Science+Business Media, LLC 2011