Abstracting numeric constraints with Boolean functions.

Jacob M. Howe Andy King

Published in: Inf. Process. Lett. (2000)

Keyphrases

boolean functions
uniform distribution
dnf formulae
threshold functions
multi valued
membership queries
relevant variables
prime implicants
dnf formulas
read once formulas
linear constraints
functional properties
linear threshold
pseudo boolean functions
bi decomposition
lower bound
upper bound