Numerical Recipes 3rd Edition: The Art of Scientific Computing
Complexity Classifications of Boolean Constraint Satisfaction Problems
