Lifted Sequential Planning with Lazy Constraint Generation Solvers.
Anubhav SinghMiquel RamírezNir LipovetzkyPeter J. StuckeyPublished in: CoRR (2023)
Keyphrases
- sat solving
- constraint solver
- graphical models
- planning problems
- global constraints
- probabilistic inference
- constraint problems
- efficient inference algorithms
- story generation
- decision support
- constraint solving
- constraint networks
- generation process
- generation method
- sat solvers
- heuristic search
- probabilistic planning
- constraint satisfaction problems
- constraint solvers
- probabilistic model