MaxSAT Resolution and Subcube Sums.

Yuval Filmus Meena Mahajan Gaurav Sood Marc Vinyals

Published in: Electron. Colloquium Comput. Complex. (2020)

Keyphrases

upper bound
high resolution
consequence finding
low resolution
sat solvers
high quality
combinatorial optimization
branch and bound algorithm
real time
neural network
machine learning
web services
data structure
random variables
sampling rate
higher resolution