3 citations · 7 across the 4 of their papers we have counts for
1 paper · 2 filters
Michał Karpiński, Marek Piotrów
A Pseudo-Boolean (PB) constraint is a linear inequality constraint over Boolean literals. One of the popular, efficient ideas used to solve PB-problems (a set of PB-constraints) is…