 | | |
| |
| | Takehide SohLast updated: 10/05/01 10:40 PapersA SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima Jouranal of Algorithms in Cognition, Informatics and Logic to appear 2009 [Refereed] 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 2006 [Refereed] MiscIdentifying 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) 2010 Finding Minimal Reaction Sets in Large Metabolic Pathways Takehide Soh and Katsumi Inoue Workshop on Constraint Based Methods for Bioinformatics (co-located with ICLP 2010) A SAT-based Method for Analyzing Metabolic Pathways Takehide Soh and Katsumi Inoue Poster presentation at: Systems Biochemistry 2010 A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima The 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Dec 2008 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) 103-112 2006 |
|
|
|
| |
