Login / Signup
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.
Takehide Soh
Katsumi Inoue
Naoyuki Tamura
Mutsunori Banbara
Hidetomo Nabeshima
Published in:
Fundam. Informaticae (2010)
Keyphrases
</>
high accuracy
detection method
preprocessing
dynamic programming
experimental evaluation
neural network
cost function
computational cost
support vector machine
synthetic data
high precision
objective function
orders of magnitude