A New Approach to Solving SAT-Encoded Binary CSPs | Publicación