MaxSAT Resolution with Inclusion Redundancy.

Ilario Bonacina Maria Luisa Bonet Massimo Lauria

Published in: SAT (2024)

Keyphrases

upper bound
information systems
high resolution
combinatorial optimization
sampling rate
real world
branch and bound algorithm
database
databases
computer vision
search space
low resolution
consequence finding
conflict detection