Back to Results
First PageMeta Content
Theoretical computer science / Computational complexity theory / Mathematics / Constraint programming / Numerical software / Automated theorem proving / DPLL algorithm / Packing problems / Solver / Constraint satisfaction / Reduction / Algorithm


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

Document Date: 2008-12-04 03:03:05


Open Document

File Size: 154,82 KB

Share Result on Facebook
UPDATE