A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.
Takehide SohKatsumi InoueNaoyuki TamuraMutsunori BanbaraHidetomo NabeshimaPublished in: RCRA (2008)
Keyphrases
- detection method
- significant improvement
- high accuracy
- objective function
- computational complexity
- dynamic programming
- computational cost
- high precision
- synthetic data
- probabilistic model
- algebraic equations
- combinatorial optimization
- clustering method
- logic programs
- support vector machine
- neural network
- preprocessing
- similarity measure
- feature extraction