Katsumi Sat

#	Item
1	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:05 Theoretical computer science Computational complexity theory Mathematics Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm
2	離散群と双曲空間のトポロジーと解析 Topology and Analysis of Discrete Groups and Hyperbolic Spaces 京都大学数理解析研究所の共同研究事業の一つとして、下記のように研究集会 Add to Reading List Source URL: www.math.kyoto-u.ac.jp Language: English - Date: 2016-05-05 23:42:17 Shanghai Japanese School Katsumi Sat
3	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:40 Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm Exponential time hypothesis Bin packing problem