Counterexample-Guided EF Synthesis of Boolean Functions.

Heinz Riener Rüdiger Ehlers Görschwin Fey

Published in: MBMV (2017)

Keyphrases

boolean functions
functional decomposition
uniform distribution
functional properties
dnf formulae
membership queries
multi valued
prime implicants
relevant variables
model checking
threshold functions
polynomial size
linear threshold
pseudo boolean functions
binary decision diagrams
learning algorithm
upper bound