Parallel Planning using a Lazy Clause Generation Solver.
Behrouz BabakiGilles PesantPublished in: ICTAI (2020)
Keyphrases
- planning problems
- satisfiability testing
- heuristic search
- sat solving
- search space
- parallel processing
- shared memory
- boolean formula
- parallel computing
- story generation
- clause learning
- blocks world
- distributed memory
- massively parallel
- parallel implementation
- neural network
- sat solvers
- stochastic domains
- search algorithm
- genetic algorithm