Login / Signup
Synthesizing multiple boolean functions using interpolation on a single proof.
Georg Hofferek
Ashutosh Gupta
Bettina Könighofer
Jie-Hong Roland Jiang
Roderick Bloem
Published in:
FMCAD (2013)
Keyphrases
</>
boolean functions
uniform distribution
relevant variables
binary decision diagrams
threshold functions
membership queries
prime implicants
inductive learning
theorem proving
dnf formulas
functional properties
pseudo boolean functions