MaxSAT Resolution and Subcube Sums.

Yuval Filmus Meena Mahajan Gaurav Sood Marc Vinyals

Published in: SAT (2020)

Keyphrases

upper bound
high resolution
random variables
case study
video sequences
combinatorial optimization
branch and bound algorithm
sat solvers
real time
data sets
learning algorithm
artificial neural networks
clause learning
maximum satisfiability