Keyphrases
- boolean functions
- mixed integer linear programming
- linear program
- uniform distribution
- mixed integer linear
- resource constrained project scheduling problem
- membership queries
- multi valued
- relevant variables
- threshold functions
- dnf formulae
- functional properties
- prime implicants
- bi decomposition
- disjunctive normal form
- truth table
- linear threshold
- binary decision diagrams
- cutting plane
- mixed integer
- mathematical programming
- branch and bound algorithm