Canonical Decision Diagrams Modulo Theories.
Massimo MicheluttiGabriele MasinaGiuseppe SpallittaRoberto SebastianiPublished in: CoRR (2024)
Keyphrases
- decision diagrams
- modulo theories
- answer set programming
- multi valued
- markov decision processes
- efficient computation
- binary decision diagrams
- digital circuits
- satisfiability modulo theories
- planning problems
- stable model semantics
- constraint satisfaction problems
- logic programs
- computational efficiency
- answer sets
- databases
- machine learning