Reducing SAT to Max2XOR.

Carlos Ansótegui Jordi Levy

Published in: CoRR (2022)

Keyphrases

satisfiability problem
sat solvers
search algorithm
phase transition
real time
significantly reduced
sat problem
stochastic local search
np complete
propositional logic
max sat
sat instances
graph coloring
propositional satisfiability