Detecting Boolean Functions for Proving Unsatisfiability.
Richard OstrowskiLionel ParisPublished in: ICTAI (2009)
Keyphrases
- boolean functions
- uniform distribution
- randomly generated
- threshold functions
- functional properties
- dnf formulae
- relevant variables
- linear threshold
- pseudo boolean functions
- truth table
- prime implicants
- search space
- bi decomposition
- disjunctive normal form
- binary decision diagrams
- multi valued
- membership queries
- polynomial size
- machine learning