On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint.

Jan-Georg Smaus

Published in: CPAIOR (2007)

Keyphrases

boolean functions
uniform distribution
randomly generated
linear functions
linear constraints
pseudo boolean
integer linear programming
functional properties
membership queries
dnf formulae
combinatorial problems
multi valued
pseudo boolean constraints