Login / Signup

Model Counting in Product Configuration

Andreas KüblerChristoph ZenglerWolfgang Küchlin
Published in: LoCoCo (2010)
Keyphrases
  • model counting
  • knowledge compilation
  • product configuration
  • polynomial size
  • artificial intelligence
  • expert systems
  • database
  • knowledge based systems
  • integrity constraints
  • normal form