Login / Signup
Knowledge Compilation for Boolean Functional Synthesis.
S. Akshay
Jatin Arora
Supratik Chakraborty
Shankara Narayanan Krishna
Divya Raghunathan
Shetal Shah
Published in:
FMCAD (2019)
Keyphrases
</>
knowledge compilation
product configuration
prime implicates
quantified boolean formulae
logical inference
model counting
horn formulas
boolean functions
normal form
polynomial size
binary decision diagrams
decision support
belief change
search algorithm
decision making
machine learning
databases