Rectangles and Tableaux.

Shinya Anzai Jinhee Chun Ryosei Kasai Matias Korman Takeshi Tokuyama

Published in: COCOON (2010)

Keyphrases

modal logic
axis parallel
packing problem
decision procedures
functional dependencies
neural network
machine learning
learning algorithm
case study
expert systems
multi dimensional
strip packing