Encoding Linear Constraints into SAT

Ignasi Abío, Valentin Mayer-Eichberger, Peter Stuckey

Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encodings to…