Chaff

Kapcsolódó fogalmak: 
3-SAT, 3-CNF
Rövid szöveges bemutatás: 
A Chaff algoritmus Moskewicz és társai alkották meg 2001-ben az amerikai Princeton egyetemen. Az algoritmus Boole kényszerkielégíthetőségi problémákat oldott meg, hatalmas méretű problématérben rendkívüli sebességgel. 2002-ben SAT versenyt nyert.