Ranked Enumeration for MSO on Trees via Knowledge Compilation.
Antoine AmarilliPierre BourhisFlorent CapelliMikaël MonetPublished in: CoRR (2023)
Keyphrases
- knowledge compilation
- product configuration
- tree automata
- model counting
- logical inference
- prime implicates
- quantified boolean formulae
- finite state
- regular expressions
- search space
- normal form
- polynomial size
- binary decision diagrams
- horn formulas
- target language
- decision support
- cnf formula
- decision making
- relational databases