2 papers
cs.AI2025
The Subset Sum Matching Problem
Yufei Wu, Manuel R. Torres, Parisa Zehtabi +4
This paper presents a new combinatorial optimisation task, the Subset Sum Matching Problem (SSMP), which is an abstraction of common financial applications such as trades reconcili…
cs.AI2025
A Planning Compilation to Reason about Goal Achievement at Planning Time
Alberto Pozanco, Marianela Morales, Daniel Borrajo +1
Identifying the specific actions that achieve goals when solving a planning task might be beneficial for various planning applications. Traditionally, this identification occurs po…