Takehide Soh

40 papers A* 3A 4B 12Journal 14Unranked 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
A SAT-based Method for Counting All Singleton Attractors in Boolean Networks.
IJCAI
Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara, Naoyuki Tamura
2025 — conf
A Transportation Scheduling Method Using Integer Programming.
APMS (2)
Jun Takanaga, Nobutada Fujii, Takehide Soh, Takashi Tanizaki, Takeshi Shimmura, Yotetsu Kimura
2025 A conf
SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints.
SAT
Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura
2025 B conf
The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital.
ICLP
Hidetomo Nabeshima, Mutsunori Banbara, Torsten Schaub, Takehide Soh
2024 — conf
A Study on Production Scheduling Methods for Ready-Made Meal Industries.
APMS (2)
Hinari Hamada, Nobutada Fujii, Shunsuke Watanabe, Takehide Soh, Ruriko Watanabe, Kohei Nakayama, Yuji Mishima, Kazuo Yoshinaga
2024 B conf
ASP-Based Large Neighborhood Prioritized Search for Course Timetabling.
LPNMR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 B conf
CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract).
SOCS
Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
2024 J jnl
Dominating Set Reconfiguration with Answer Set Programming.
CoRR
Masato Kato, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 J jnl
Dominating Set Reconfiguration with Answer Set Programming.
Theory Pract. Log. Program.
Masato Kato, Mutsunori Banbara, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2024 A* conf
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
KR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 J jnl
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
CoRR
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2024 B conf
Scalable Hard Instances for Independent Set Reconfiguration.
SEA
Takehide Soh, Takumu Watanabe, Jun Kawahara, Akira Suzuki, Takehiro Ito
2023 J jnl
Core Challenge 2023: Solver and Graph Descriptions.
CoRR
Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
2023 B conf
Hamiltonian Cycle Reconfiguration with Answer Set Programming.
JELIA
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2023 — conf
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks.
CMSB
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
2023 — conf
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks.
BIOINFORMATICS
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
2023 B conf
Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability.
ICTAI
Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
2023 B conf
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.
CPAIOR
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
2022 J jnl
Core Challenge 2022: Solver and Graph Descriptions.
CoRR
Takehide Soh, Yoshio Okamoto, Takehiro Ito
2022 J jnl
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.
CoRR
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
2019 J jnl
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res.
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
2017 J jnl
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.
Int. J. Artif. Intell. Tools
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
2017 A conf
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.
CP
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
2017 B conf
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
LPNMR
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
2016 J jnl
Implementing Efficient All Solutions SAT Solvers.
ACM J. Exp. Algorithmics
Takahisa Toda, Takehide Soh
2015 B conf
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.
ICTAI
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
2015 J jnl
Implementing Efficient All Solutions SAT Solvers.
CoRR
Takahisa Toda, Takehide Soh
2015 B conf
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
LPNMR
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2014 B conf
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.
JELIA
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura
2013 J jnl
Answer set programming as a modeling language for course timetabling.
Theory Pract. Log. Program.
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
2013 J jnl
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
CoRR
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
2013 B conf
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.
ICTAI
Naoyuki Tamura, Mutsunori Banbara, Takehide Soh
2013 A conf
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.
SAT
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
2010 J jnl
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.
Fundam. Informaticae
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
2010 — conf
Analyzing Pathways Using ASP-Based Approaches.
ANB
Oliver Ray, Takehide Soh, Katsumi Inoue
2010 — conf
Finding Minimal Reaction Sets in Large Metabolic Pathways.
WCB@ICLP
Takehide Soh, Katsumi Inoue
2010 A conf
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation.
ECAI
Takehide Soh, Katsumi Inoue
2008 — conf
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.
RCRA
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
2006 J jnl
A competitive and cooperative approach to propositional satisfiability.
Discret. Appl. Math.
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
2006 A* conf
Lemma Reusing for SAT based Planning and Scheduling.
ICAPS
Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma