Takehide Soh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
11
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | SRIP: A SAT-based System for Independent Set Reconfiguration. | Takehide Soh, Akifumi Kuwahara, Mutsunori Banbara, Naoyuki Tamura, Yasuaki Kobayashi, Yuta Nozaki, Takehiro Ito |
| 2025 | IJCAI | A SAT-based Method for Counting All Singleton Attractors in Boolean Networks. | Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara, Naoyuki Tamura |
| 2025 | SAT | SAT-Based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints. | Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura |
| 2024 | KR | Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. | Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | LPNMR | ASP-Based Large Neighborhood Prioritized Search for Course Timetabling. | Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2024 | SoCS | CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract). | Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito |
| 2023 | CPAIOR | ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems. | Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda |
| 2023 | ICTAI | Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability. | Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama |
| 2023 | JELIA | Hamiltonian Cycle Reconfiguration with Answer Set Programming. | Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
| 2017 | CP | Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. | Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre |
| 2017 | LPNMR | catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. | Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura |
| 2015 | ICTAI | A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. | Takehide Soh, Mutsunori Banbara, Naoyuki Tamura |
| 2015 | LPNMR | aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. | Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise |
| 2014 | JELIA | Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. | Takehide Soh, Daniel Le Berre, Stphanie Roussel, Mutsunori Banbara, Naoyuki Tamura |
| 2013 | ICTAI | Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. | Naoyuki Tamura, Mutsunori Banbara, Takehide Soh |
| 2013 | SAT | Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. | Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2010 | ECAI | Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. | Takehide Soh, Katsumi Inoue |
| 2010 | ICLP | Finding Minimal Reaction Sets in Large Metabolic Pathways. | Takehide Soh, Katsumi Inoue |