Connecting Knowledge Compilation Classes and Width Parameters.

Antoine Amarilli Florent Capelli Mikaël Monet Pierre Senellart

Published in: Theory Comput. Syst. (2020)

Keyphrases

knowledge compilation
product configuration
prime implicates
model counting
decision support
heuristic search
polynomial size
decomposable negation normal form