A BDD for Linux?: the knowledge compilation challenge for variability.

Published in: SPLC (A) (2020)

Keyphrases

knowledge compilation
binary decision diagrams
product configuration
operating system
prime implicates
logical inference
model counting
normal form
quantified boolean formulae
database applications
cnf formula
polynomial size
horn formulas
machine learning
information retrieval
artificial intelligence