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…