English | Japanese

Takehide Soh

Research Interests

Employment

Education

Award

Grant

Social Activities

Language

Dissertation

  1. Studies on Applying Incremental SAT Solving to Optimization and Enumeration Problems
    Takehide Soh
    School of Multidisciplinary Sciences, The Graduate University for Advanced Studies, Japan, September 2011.

Journals

  1. Principles of Modern SAT Solvers (in Jpanese)
    Hidetomo Nabeshima and Takehide Soh
    Tutorial Paper, Journal of the Japan Society for Artificial Intelligence, 25(1):68-76, 2010.
  2. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
    Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
    Fundamenta Informaticae, 102(3--4): 467--487, IOS Press, 2010.
  3. A Competitive and Cooperative Approach to Propositional Satisfiability
    Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara and Naoyuki Tamura
    Discrete Applied Mathematics, 154(16):2291-2306, Elsevier, 2006.

Conference Papers (with peer review)

  1. Predicting Gene Knockout Effects by Minimal Pathway Enumeration
    Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada and Toshihiko Shiroishi
    The 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012), to appear, 2012.
  2. Analyzing Pathways using ASP-based Approaches
    Oliver Ray, Takehide Soh, and Katsumi Inoue
    In: Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov (eds.), Algebraic and Numeric Biology: Proceedings of the 2010 International Conference (ANB'10), Lecture Notes in Computer Science, Vol. 6479, to appear, Springer, 2011.
  3. Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation
    Takehide Soh and Katsumi Inoue
    The Sixth Conference on Prestigious Applications of Intelligent Systems (PAIS 2010), In the Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp.277-282, IOS Press, 2010.
  4. Finding Minimal Reaction Sets in Large Metabolic Pathways
    Takehide Soh and Katsumi Inoue
    In the Proceedings of the Workshop on Constraint Based Methods for Bioinformatics (WCB 2010), pp.54-68, Edinburgh, 2010.
  5. A SAT-based Method for Analyzing Metabolic Pathways
    Takehide Soh and Katsumi Inoue
    Poster presentation at: Systems Biochemistry 2010, University of York, 2010.
  6. A SAT-based Method for Solving the Two-dimensional Strip Packing Problem
    Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
    In: Marco Gavanelli and Toni Mancini (eds.), Proceedings of The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, No.16 (15 pages), CEUR Workshop Proceedings (CEUR-WS.org), Vol.451, 2008.
  7. Lemma Reusing for SAT based Planning and Scheduling
    Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, and Koji Iwanuma
    In the proceedings of the International Conference on Automated Planning and Scheduling 2006 (ICAPS 2006), pages 103-112, AAAI Press, 2006.
  8. Experimental Results for Solving Job-shop Scheduling Problems with Multiple SAT Solvers
    Takehide Soh, Katsumi Inoue, Mutsunori Banbara, and Naoyuki Tamura
    In the Proceedings of the 1st International Workshop on Distributed and Speculative Constraint Processing (held in conjunction with CP 2005), pages 25-38, Sitges Spain, October 1st 2005.

Conference Papers and Others (without peer review)

  1. Predicting Gene Knockout Effects on E. coli by Minimal Active Pathway Enumeration
    Takehide Soh, Katsumi Inoue, Tomoya Baba, Toyoyuki Takada and Toshihiko Shiroishi
    IPSJ SIG Technical Report, Vol.2012-ICS-165, No.7, pages 1-6, 2012.
  2. Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation
    Takehide Soh and Katsumi Inoue
    JFLI Workshop in Paris, Université Pierre et Marie Curie, Paris, 2010.
  3. Finding Minimal Sub-pathways in Metabolic Pathways by Model Generation (in Japanese)
    Takehide Soh and Katsumi Inoue
    The 24th Annual Conference on Japanese Society of Artificial Intelligence (JSAI 2010), Nagasaki, Japan, 2010.
  4. An Implementation of Model-based Abduction and its Application to Systems Biology
    Takehide Soh and Katsumi Inoue
    The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'09), Bastia, France, 2009.
  5. Analyzing Pathways through a Translation into SAT Problems (in Japanese)
    Takehide Soh and Katsumi Inoue
    The 23th Annual Conference on Japanese Society of Artificial Intelligence (JSAI 2009), Takamatsu, Japan, 2009.
  6. A SAT-based Approach for Analyzing Biochemical Pathways
    Takehide Soh, Katsumi Inoue
    The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology (FJ'08), Takayama, Japan, 2008.
  7. Solving Shop Scheduling Problems by SAT encoding (in Japanese)
    Naoyuki Tamura, Akiko Taga, Mutsunori Banbara, Takehide Soh, Hidetomo Nabeshima, and Katsumi Inoue.
    Proceedings of the Scheduling Symposium 2007, pp.97-102, The Sceduling Society of Japan, 2007.
  8. Effective SAT Planning and SAT Scheduling by Lemma Reusing (in Japanese)
    Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, and Koji Iwanuma.
    Technical Report of IEICE, 106(38): 19-24, The Institute of Electronics, Information and Communication Engineers, 2006.
  9. Solving Job Shop Scheduling Problems With Multiple SAT Solvers (in Japanese)
    Takehide Soh and Katsumi Inoue.
    Technical Report of IEICE, 104(133): 19-24, The Institute of Electronics, Information and Communication Engineers, 2004.

Link

Notes

Contact

Takehide Soh: soh at nii.ac.jp

Webmaster: Takehide Soh (E-mail soh at nii.ac.jp)