62 citations · 62 across the 2 of their papers we have counts for
2 papers
cs.LO2020
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…
cs.AI2014★ 62 cited
A New Look at BDDs for Pseudo-Boolean Constraints
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras +2
Pseudo-Boolean constraints are omnipresent in practical applications, and thus a significant effort has been devoted to the development of good SAT encoding techniques for them. So…