Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Chaff algorithm
open-in-new
<p>Chaff is an <a href="/facts/Algorithm/fnl5NmRt">algorithm</a> for solving instances of the <a href="/facts/Boolean_satisfiability_problem/wBVRjWoy">Boolean satisfiability problem</a> in programming. It was designed by researchers at <a href="/facts/Princeton_University/n3EPGHBM">Princeton University</a>. The algorithm is an instance of the <a href="/facts/DPLL_algorithm/T3Tu45j3">DPLL algorithm</a> with a number of enhancements for efficient implementation. </p>