1 code implementation • 18 May 2024 • Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
We propose Large Neighborhood Prioritized Search (LNPS) for solving combinatorial optimization problems in Answer Set Programming (ASP).
no code implementations • 26 Oct 2023 • Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2023.
no code implementations • 4 Aug 2022 • Takehide Soh, Yoshio Okamoto, Takehiro Ito
This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2022.
no code implementations • 2 Oct 2015 • Takahisa Toda, Takehide Soh
We faithfully implement them and conduct comprehensive experiments using a large number of instances and various types of solvers including one of the few public softwares.
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.