Login / Signup
Correction to: 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
logical inference
database
databases