Optimizing the half-product and related quadratic Boolean functions: approximation and scheduling applications.
Hans KellererVitaly A. StrusevichPublished in: Ann. Oper. Res. (2016)
Keyphrases
- boolean functions
- linear functions
- pseudo boolean functions
- uniform distribution
- prime implicants
- functional properties
- threshold functions
- relevant variables
- membership queries
- dnf formulae
- scheduling problem
- multi valued
- disjunctive normal form
- computational complexity
- pairwise
- binary decision diagrams
- approximation algorithms
- read once formulas
- special case
- decision trees