62 citations · 70 across the 4 of their papers we have counts for
1 paper · 2 filters
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…