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