CASP:ER 2025: Constraint And Satisfiability-based Planning: an Exploratory Research Workshop

Despite the widespread adoption of heuristic search and learning-based approaches in automated planning, Constraint and Satisfiability-based Planning (CSP/SAT-based Planning) remains a viable and promising paradigm. Historically, CSP and SAT approaches have demonstrated strong theoretical foundations and practical success in various domains. However, their usage has diminished in recent years due to the rise of alternative methods. The CASP:ER workshop aims to revisit and reinforce the relevance of CSP/SAT-based planning by showcasing recent advancements, discussing its applicability, and identifying opportunities for renewed adoption.

Submissions will centre on the following themes, while also considering additional relevant topics: automated planning via csp, automated planning via sat and automated planning via smt.