MaxSAT Resolution and Subcube Sums.

Yuval Filmus Meena Mahajan Gaurav Sood Marc Vinyals

Published in: CoRR (2020)

Keyphrases

upper bound
combinatorial optimization
branch and bound algorithm
random variables
real time
high resolution
low resolution
high quality
objective function
conflict detection
consequence finding
sat problem
case study
computer vision
learning algorithm
genetic algorithm
machine learning