![Theoretical computer science / Computational complexity theory / Mathematics / Constraint programming / Numerical software / Automated theorem proving / DPLL algorithm / Packing problems / Solver / Constraint satisfaction / Reduction / Algorithm Theoretical computer science / Computational complexity theory / Mathematics / Constraint programming / Numerical software / Automated theorem proving / DPLL algorithm / Packing problems / Solver / Constraint satisfaction / Reduction / Algorithm](https://www.pdfsearch.io/img/8a5eafe60755fd39e7fbfa5cd44fb679.jpg) Date: 2008-12-04 03:03:05Theoretical 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 1Add to Reading ListSource URL: ceur-ws.orgDownload Document from Source Website File Size: 154,82 KBShare Document on Facebook
|