Linear Pseudo-Boolean (LPB) constraints denote inequalities between arithmetic sums of weighted Boolean functions and provide a significant extension of the modeling power of purely propositional ...

We present an algorithm for simplifying the solution of conjunctive Boolean constraints of state and input variables, in the context of constrained random vector generation using BDDs. The basis of ...

For example, taking our strategy for improving cardinality constraint encodings and lifting it to pseudo-Boolean (cardinality with coefficients) encodings might yield similar improvements. References ...