Augmenting the Power of (Partial) MaxSat Resolution with Extension.

Javier Larrosa Emma Rollon

Published in: AAAI (2020)

Keyphrases

power consumption
high resolution
upper bound
combinatorial optimization
information retrieval
image processing
image sequences
information systems
multi agent
low resolution