Takehide Soh

According to our database, Takehide Soh authored at least 25 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Core Challenge 2023: Solver and Graph Descriptions.

Takehide Soh, Tomoya Tanjo, Yoshio Okamoto, Takehiro Ito

CoRR, 2023

Hamiltonian Cycle Reconfiguration with Answer Set Programming.

Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

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

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.

Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks.

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Computational Methods in Systems Biology, 2023

SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks.

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2022

Core Challenge 2022: Solver and Graph Descriptions.

Takehide Soh, Yoshio Okamoto, Takehiro Ito

CoRR, 2022

2019

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

Ann. Oper. Res., 2019

2017

Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

Int. J. Artif. Intell. Tools, 2017

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

Implementing Efficient All Solutions SAT Solvers.

Takahisa Toda, Takehide Soh

ACM J. Exp. Algorithmics, 2016

2015

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.

Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Answer set programming as a modeling language for course timetabling.

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

Theory Pract. Log. Program., 2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

CoRR, 2013

Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.

Naoyuki Tamura, Mutsunori Banbara, Takehide Soh

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2010

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.

Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima

Fundam. Informaticae, 2010

Finding Minimal Reaction Sets in Large Metabolic Pathways.

Takehide Soh, Katsumi Inoue

Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010

Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation.

Takehide Soh, Katsumi Inoue

Proceedings of the ECAI 2010, 2010

Analyzing Pathways Using ASP-Based Approaches.

Oliver Ray, Takehide Soh, Katsumi Inoue

Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010

2006

A competitive and cooperative approach to propositional satisfiability.

Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura

Discret. Appl. Math., 2006

Lemma Reusing for SAT based Planning and Scheduling.

Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006