Takehide Soh

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 19

Top Topics

Haplotype Inference

Configuration Problems

Answer Set Programming

Top Venues

Publications

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR (2024)
Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract). SOCS (2024)
Takehide Soh, Takumu Watanabe, Jun Kawahara, Akira Suzuki, Takehiro Ito
Scalable Hard Instances for Independent Set Reconfiguration. SEA (2024)
Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito
Core Challenge 2023: Solver and Graph Descriptions. CoRR (2023)
Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama
Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability. ICTAI (2023)
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. CMSB (2023)
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. BIOINFORMATICS (2023)
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems. CPAIOR (2023)
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA (2023)
Takehide Soh, Yoshio Okamoto, Takehiro Ito
Core Challenge 2022: Solver and Graph Descriptions. CoRR (2022)
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems. CoRR (2022)
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Ann. Oper. Res. 275 (1) (2019)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Int. J. Artif. Intell. Tools 26 (1) (2017)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. CP (2017)
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. LPNMR (2017)
Takahisa Toda, Takehide Soh
Implementing Efficient All Solutions SAT Solvers. ACM J. Exp. Algorithmics 21 (1) (2016)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. ICTAI (2015)
Takahisa Toda, Takehide Soh
Implementing Efficient All Solutions SAT Solvers. CoRR (2015)
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. LPNMR (2015)
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. JELIA (2014)
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
Answer set programming as a modeling language for course timetabling. Theory Pract. Log. Program. 13 (4-5) (2013)
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR (2013)
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. SAT (2013)
Naoyuki Tamura, Mutsunori Banbara, Takehide Soh
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. ICTAI (2013)
Oliver Ray, Takehide Soh, Katsumi Inoue
Analyzing Pathways Using ASP-Based Approaches. ANB (2010)
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Fundam. Informaticae 102 (3-4) (2010)
Takehide Soh, Katsumi Inoue
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. ECAI (2010)
Takehide Soh, Katsumi Inoue
Finding Minimal Reaction Sets in Large Metabolic Pathways. WCB@ICLP (2010)
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. RCRA (2008)
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
A competitive and cooperative approach to propositional satisfiability. Discret. Appl. Math. 154 (16) (2006)
Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma
Lemma Reusing for SAT based Planning and Scheduling. ICAPS (2006)