2 papers
cs.LO2024
Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
Miquel Ramirez, Anubhav Singh, Peter Stuckey +1
Many automated planning methods and formulations rely on suitably designed abstractions or simplifications of the constrained dynamics associated with agents to attain computationa…
cs.AI2023
Lifted Sequential Planning with Lazy Constraint Generation Solvers
Anubhav Singh, Miquel Ramirez, Nir Lipovetzky +1
This paper studies the possibilities made open by the use of Lazy Clause Generation (LCG) based approaches to Constraint Programming (CP) for tackling sequential classical planning…