Takehide Soh
Orcid: 0000-0001-5897-9192Affiliations:
- Kobe University, Japan
According to our database1,
Takehide Soh
authored at least 31 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
1
1
1
1
1
2
1
1
5
5
2
2
1
2
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 22nd International Symposium on Experimental Algorithms, 2024
CoRe Challenge 2022/2023: Empirical Evaluations for Independent Set Reconfiguration Problems (Extended Abstract).
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the Advances in Production Management Systems. Production Management Systems for Volatile, Uncertain, Complex, and Ambiguous Environments, 2024
2023
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.
Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023
Proceedings of the Computational Methods in Systems Biology, 2023
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023
2022
2019
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res., 2019
2017
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.
Int. J. Artif. Intell. Tools, 2017
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2017
2016
2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
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.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2013
Theory Pract. Log. Program., 2013
CoRR, 2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
2010
Fundam. Informaticae, 2010
Proceedings of the Workshop on Constraint Based Methods for Bioinformatics, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the Algebraic and Numeric Biology - 4th International Conference, 2010
2006
Discret. Appl. Math., 2006
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006