Ranked Enumeration for MSO on Trees via Knowledge Compilation.
Antoine AmarilliPierre BourhisFlorent CapelliMikaël MonetPublished in: ICDT (2024)
Keyphrases
- knowledge compilation
- product configuration
- tree automata
- prime implicates
- normal form
- model counting
- quantified boolean formulae
- decision support
- logical inference
- search space
- polynomial size
- horn formulas
- decomposable negation normal form
- binary decision diagrams
- regular expressions
- desirable properties
- constraint satisfaction problems
- database