Fabian Wenzelmann

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
A linear pseudo-Boolean constraint (LPB) is an expression of the form where each i is a literal (it assumes the value 1 or 0 depending on whether a propositional variable xi is true or false) and a1,. .. , am, d are natural numbers. An LPB represents a Boolean function, and those Boolean functions that can be represented by exactly one LPB are called(More)
  • 1