SAT-Based Techniques for Integer Linear Constraints | Publicación