Multiple View Geometry in Computer Vision Second Edition
Complexity Classifications of Boolean Constraint Satisfaction Problems
