34 citations · 34 across the 2 of their papers we have counts for
1 paper · 1 filter
Michael Codish, Yoav Fekete, Carsten Fuhs +1
This paper formalizes the optimal base problem, presents an algorithm to solve it, and describes its application to the encoding of Pseudo-Boolean constraints to SAT. We demonstrat…