Top-Down Knowledge Compilation for Counting Modulo Theories.
Vincent DerkinderenPedro Zuidberg Dos MartiresSamuel KolbPaolo MorettinPublished in: CoRR (2023)
Keyphrases
- knowledge compilation
- model counting
- modulo theories
- product configuration
- answer set programming
- prime implicates
- polynomial size
- normal form
- satisfiability modulo theories
- stable model semantics
- logic programs
- databases
- target language
- decomposable negation normal form
- logic programming
- answer sets
- knowledge based systems
- knowledge representation
- artificial intelligence