Trust the PRoC3S: Solving Long-Horizon Robotics Problems with LLMs and Constraint Satisfaction.
Aidan CurtisNishanth KumarJing CaoTomás Lozano-PérezLeslie Pack KaelblingPublished in: CoRR (2024)
Keyphrases
- constraint satisfaction
- constrained problems
- constraint problems
- constraint satisfaction problems
- combinatorial problems
- russian doll search
- soft constraints
- configuration problems
- heuristic search
- optimization problems
- phase transition
- relaxation labeling
- combinatorial optimization
- np complete problems
- constraint propagation
- constraint solving
- arc consistency
- neural network
- distributed constraint satisfaction problems
- backtracking algorithms
- probabilistic reasoning
- benchmark problems
- constraint programming
- search algorithm
- constraint solver
- constraint optimization
- np complete
- constraint relaxation
- genetic algorithm