MaxSAT Resolution and Subcube Sums.

Yuval Filmus Meena Mahajan Gaurav Sood Marc Vinyals

Published in: ACM Trans. Comput. Log. (2023)

Keyphrases

low resolution
consequence finding
upper bound
random variables
high resolution
branch and bound algorithm
combinatorial optimization
conflict detection
real time
sat solvers
super resolution
boolean satisfiability
np hard
decision trees
social networks
artificial intelligence
real world