Manthan: A Data-Driven Approach for Boolean Function Synthesis.
Priyanka GoliaSubhajit RoyKuldeep S. MeelPublished in: CAV (2) (2020)
Keyphrases
- boolean functions
- functional decomposition
- uniform distribution
- relevant variables
- truth table
- multi valued
- binary decision diagrams
- monotone boolean functions
- functional properties
- nearest neighbor
- membership queries
- linear functions
- polynomial size
- disjunctive normal form
- logic synthesis
- bi decomposition
- read once formulas
- pseudo boolean functions