Takehide Soh

Takehide Soh (宋剛秀)
Associate Professor (Information Infrastructure and Digital Transformation Initiatives Headquaters, Kobe University)
Research Interests
- Practice of Boolean Satisfiability (SAT)
- Practice of Constraint Programming (CP)

Publications and Statistics

Employment

2022 Apr. - present. Associate Professor, Information Infrastructure and Digital Transformation Initiatives Headquaters, Kobe University
2019 Apr. - 2022 Mar. Associate Professor, Information Science and Technology Center, Kobe University
2017 Sep. - 2018 Sep. Visiting Researcher, Centre national de la recherche scientifique; CNRS, France
2012 Apr. - 2019 Mar. Assistant Professor, Information Science and Technology Center, Kobe University
2011 Oct. - 2012 Mar. Project Researcher, Transdisciplinary Research Integration Center (TRIC)
2010 Apr. - 2011 Sep. Research Fellow, Japan Society for the Promotion of Science (JSPS)
2008 Apr. - 2010 Sep. Research Assistant, National Institute of Informatics
2006 Apr. - 2008 Mar. work @ Information Systems Department, Suntory Limited

Education

2011 Sep. Ph.D., Dapartment of Informatics, The Graduate University for Advanced Studies (Sokendai)
2006 Mar. M.S. Engineering, Graduate School of Science and Technology, Kobe University
2004 Mar. B.S. Engineering, Department of Engineering, Kobe University

Invited Talk

2023 Sep. On SAT Solver and its Applications
- AT-1 Combinatrics and Information Theory, IEICE Society Conference, IEICE, Nagoya University.
2015 Dec. SAT Solver and its Application Development
- [The 9th AI Tool Introduction Seminar]((https://www.ai-gakkai.or.jp/event/ai-tool/no09_jsai_tool_introductory_course/), JSAI, National Institute of Informatics.

Award

2023 July. 10-year Test-of-Time Award, International Conference on Logic Programming (ICLP) 2023.
2023 Aug. XCSP23 Main CSP Solver 2nd place🥈
2022 Aug. XCSP22 Main CSP Solver 2nd place🥈
2019 Aug. XCSP19 Main CSP Solver 2nd place🥈
2019/08 JSSST 7th Best Review Paper Award (2018)
2019/08 JSAI Annual Conference Award 2019 (33th)
2018 Sep. Specially Selected Paper --- Journal of Information Processing, IPSJ
2018 Aug. XCSP18 Sequential CSP Solver 1st place🥇, Parallel CSP Solver 1st place🥇
2017 Mar. PPL 2017 Presentation Award
2015 Sep. 2015 Best Research Paper Award --- Japan Society for Software Science and Technology
2015 Aug. The 1st place at algorithm design contest of DA symposium 2015
2014 Nov. The 31st Annual Conference of JSSST, Takahashi Encouragement Award (2014)
2010 Apr. The SOKENDAI President's Award.
2009 Sep. The 2009 JSAI Convention Award.

Language

Japanese (Native), English (TOEIC 905)

Grant, Competitive Research Funds (as Pricipal Investigator)

as Pricipal Investigator (PI)

2023/04 - 2027/03
- (PI) Speeding-up SAT-based Constraint Optimization Solvers
- JSPS Grants-in-Aid for Scientific Research (C), No. 23K11047
2023/04 - 2024/03
- (PI) Research on SAT-based Methods for Combinatorial Reconfiguration Problems
- 2023 NII Collaborative Research Grants
2020/04 - 2023/03
- (PI) Acceleration of SAT-based CSP Solvers using MDD Research Project
- JSPS Grants-in-Aid for Scientific Research (C), No. 20K11748
2019/04 - 2020/03
- (PI) Research and Development of a New SAT-based Parallel CSP Solver using Multiple Constraint Modelings and SAT Encodings
- 2019 NII Collaborative Research Grants
2019/08 - 2021/07
- (PI) Computing Attractors in Asynchronous Automata Networks using SAT Technology
- JSPS Bilateral Programs (Joint Research Projects) Joint Research Projects with FRANCE (MEAE-MESRI) ``SAKURA Program''
2016/04 - 2019/03
- (PI) High Performance SAT-based Constraint Programming System using Hybrid Encoding
- JSPS Grants-in-Aid for Young Scientists (B), No. 16K16036)
2013/04 - 2016/03
- (PI) Research and Development of Constraint Programming Systems for Pathway Analysis
- JSPS Grants-in-Aid for Young Scientists (B), No. 25730042
2014/04 - 2015/03
- (PI) Research on High-performance Educational Timetabling Systems using SAT Technology
- 2014 NII Collaborative Research Grants
2013/04 - 2014/03
- (PI) Research on High-performance and Hi-level Constraint ASP Solvers Using Incremental Solving
- 2013 NII Collaborative Research Grants
2011/11 - 2012/03
- (PI) Knowledge Discovery on Global Regulation Networks Based on Inference with Causal Relations
- The 2nd Transdisciplinary Seeds Research
2010/04 - 2012/03
- (PI) Solving Constraint Satisfaction Problem via SAT Encoding and its Application to Systems Biology
- JSPS Research grant (Grant-in-Aid for JSPS Fellows) for Doctoral Course Students (DC2)

Teaching Experience

Information Fundamentals (Kobe University, Undergraduate)
Language Engineering (Kobe University, Undergraduate)
Software Engineering (Kobe University, Undergraduate)
Programming Language Theory and Practice: First Half of Exercises (Kobe University, Undergraduate)
Advanced Topics in Programming Languages (Kobe University, Graduate School)
Special Topics in Software Science 2 (Kobe University, Graduate School)
Knowledge Representation and Processing (University of Potsdam, Germany, Undergraduate/Graduate)
- Date and Time: Lecture on July 11, 2014, from 12:15 to 13:15
- Title: Incremental SAT-based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
Introduction to the Scala Programming Language (University of Altois, France, Graduate School)

Professional/Academic Service

International Joint Conferences on Artificial Intelligence (IJCAI)
- PC member: 2017, 2020, 2021, 2022, 2023
Annual AAAI Conference on Artificial Intelligence (AAAI)
- PC member: 2022
International Conference on Theory and Applications of Satisfiability Testing (SAT)
- PC member: 2016, 2018, 2019, 2021, 2022
International Symposium on Combinatorial Search
- PC member: 2021, 2022, 2023
International Workshop of Pragmatics of SAT (PoS)
- PC member: 2015, 2017, 2019
Doctoral Consortium of International Conference on Logic Programming
- PC member: 2014, 2015, 2016, 2017