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
- Google Scholar
- DBLP
- ACM Digital Library
- researchmap
- ORCID iD: 0000-0001-5897-9192
- Web of Science ResearcherID: H-2159-2017
Full list of publications are here.
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, 2024
- 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 (SoCS)
- PC member: 2021, 2022, 2023, 2024
- 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