Login / Signup

Correction to: Connecting Knowledge Compilation Classes and Width Parameters.

Antoine AmarilliFlorent CapelliMikaël MonetPierre Senellart
Published in: Theory Comput. Syst. (2020)
Keyphrases
  • knowledge compilation
  • product configuration
  • prime implicates
  • logical inference
  • database
  • databases