2 citations · 2 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2022★ 2 cited
Sampling from Pre-Images to Learn Heuristic Functions for Classical Planning
Stefan O'Toole, Miquel Ramirez, Nir Lipovetzky +1
We introduce a new algorithm, Regression based Supervised Learning (RSL), for learning per instance Neural Network (NN) defined heuristic functions for classical planning problems.…