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:
CoRR (2013)
Keyphrases
</>
boolean functions
uniform distribution
relevant variables
dnf formulae
threshold functions
membership queries
linear threshold
prime implicants
statistical queries
functional properties