The 2D strip packing problem: A new approach with verification by EA.

Mitsukuni Matayoshi

Published in: SMC (2010)

Keyphrases

evolutionary algorithm
enterprise architecture
model checking
approximation algorithms
packing problem
verification method
formal verification
learning environment
fixed width
databases
neural network
image processing
video sequences
np hard
fitness function
fingerprint verification