Manthan: A Data Driven Approach for Boolean Function Synthesis.

Priyanka Golia Subhajit Roy Kuldeep S. Meel

Published in: CoRR (2020)

Keyphrases

boolean functions
functional decomposition
uniform distribution
relevant variables
functional properties
truth table
membership queries
polynomial size
multi valued
stack filters
disjunctive normal form
monotone boolean functions
binary decision diagrams
read once formulas