no code implementations • 20 Jul 2023 • Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
The resulting recongo solver covers all metrics of the solver track in the most recent international competition on combinatorial reconfiguration (CoRe Challenge 2022).
no code implementations • 12 May 2017 • Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub
While its predecessors rely on a black-box approach to hybrid solving by integrating the CP solver gecode, the new clingcon system pursues a lazy approach using dedicated constraint propagators to extend propagation in the underlying ASP solver clasp.
no code implementations • 20 Dec 2013 • Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
We here develop an alternative approach based on ASP.