Assertion: difference map algorithm | /r/ObjectUse | used for boolean satisfiability problem
Facets:
Source sentences:
text: Although originally conceived as a general method for solving the phase problem, the difference-map algorithm has been used for the boolean satisfiability problem, protein structure prediction, Ramsey numbers, diophantine equations, and Sudoku, as well as sphere- and disk-packing problems.