We invite contributions on various topics related to CSP/SAT-based planning.In order to lower the barrier to participation and acknowledge the increasing pressure on researchers to submit full papers to conferences, the CASP:ER workshop adopts a lightweight submission format.We require submissions in the form of short or extended abstracts, intended primarily to support a presentation and discussion at the workshop rather than a full archival publication.Submissions will be evaluated based on their relevance, novelty, and potential to stimulate discussion, rather than through a full peer-review process.We believe this format will encourage timely and exploratory contributions and foster a more open and interactive workshop environment.

Topics of interest include, but are not limited to:

1. Advances in constraint programming and sat solving for planning problems.

2. Hybrid approaches of csp/sat with heuristic search or reinforcement learning.

3. Scalability improvements in constraint-based planning methods.

4. Applications of csp/sat-based planning in real-world scenarios.

5. Comparisons between csp/sat-based planning and alternative paradigms.

6. Explainability and interpretability in constraint-based planning solutions.

7. Benchmarks, datasets, and evaluation methodologies for csp/sat-based planning.

8. Learning techniques aiding and helping csp/sat-based planning approaches.

Submission Guidelines

Submitted papers should use the AAAI Author Kit. Short abstracts should not be longer than 1 page (plus references). Extended abstracts should not be longer than 4 pages (plus references). Submissions must be anonymous.

Organizing Committee

• Gregor Behnke
• Matteo Cardellini
• Nicola Gigante
• Andrea Micheli