1 citations · 1 across the 1 of their papers we have counts for
1 paper
Amir Aavani
A Pseudo-Boolean (PB) constraint is a linear arithmetic constraint over Boolean variables. PB constraints are convenient and widely used in expressing NP-complete problems. We intr…