2 code implementations • 25 Jan 2024 • Ryo Kuroiwa, J. Christopher Beck
We experimentally compare our DIDP solvers with commercial MIP and CP solvers (solving MIP and CP models, respectively) on common benchmark instances of eleven combinatorial optimization problem classes.
no code implementations • 18 Dec 2023 • Christian Muise, Sheila A. McIlraith, J. Christopher Beck
Fully Observable Non-Deterministic (FOND) planning is a variant of classical symbolic planning in which actions are nondeterministic, with an action's outcome known only upon execution.
1 code implementation • 26 Nov 2022 • Ryo Kuroiwa, J. Christopher Beck
For combinatorial optimization problems, model-based approaches such as mixed-integer programming (MIP) and constraint programming (CP) aim to decouple modeling and solving a problem: the 'holy grail' of declarative problem solving.
no code implementations • 27 Sep 2018 • Eldan Cohen, J. Christopher Beck
We find that increasing the beam width leads to sequences that are disproportionately based on early and highly non-greedy decisions.
no code implementations • 19 Mar 2018 • Kyle E. C. Booth, Minh Do, J. Christopher Beck, Eleanor Rieffel, Davide Venturelli, Jeremy Frank
Our hybrid methods use solutions found by temporal planning to warm start CP, leveraging the ability of the former to find satisficing solutions to problems with a high degree of task optionality, an area that CP typically struggles with.
no code implementations • 4 Feb 2014 • Maliheh Aramon Bajestani, J. Christopher Beck
To solve the problem, we view the dynamic repair shop as successive static repair scheduling sub-problems over shorter time periods.