Artificial Conflict Sampling for Real Satisfiability Problems.

James H. Davenport Ali Kemal Uncu

Published in: SYNASC (2022)

Keyphrases

satisfiability problem
np complete
search algorithm
phase transition
sat problem
temporal logic
sat instances
solving hard
max sat
pspace complete
finite domain
conjunctive normal form
stochastic local search algorithms
stochastic local search