SAT-Inspired Higher-Order Eliminations.

Jasmin Blanchette Petar Vukmirovic

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

higher order
natural images
satisfiability problem
pairwise
sat solvers
sat problem
lower order
markov random field
stochastic local search
high order
max sat
low order
boolean satisfiability
data sets
sat instances
search algorithm
search procedures
np complete
genetic algorithm