Connecting Width and Structure in Knowledge Compilation.

Antoine Amarilli Mikaël Monet Pierre Senellart

Published in: CoRR (2017)

Keyphrases

knowledge compilation
product configuration
database
database design
constraint satisfaction
prime implicates
quantified boolean formulae
model counting