A new lifting theorem for vertex packing.

Alfredo Marín Mercedes Pelegrín

Published in: Optim. Lett. (2019)

Keyphrases

wavelet transform
packing problem
directed graph
minimum weight
image processing
von neumann
information retrieval
artificial intelligence
e learning
database systems
computational complexity
lifting scheme
strip packing
interactive theorem proving