The satisfiability problem is one of the most famous problems in compute...
Conflict-driven clause learning (CDCL) is a remarkably successful paradi...
Stochastic local search (SLS) is a successful paradigm for solving the
s...
Concerns for the privacy of communication is widely discussed in researc...
There are two competing paradigms in successful SAT solvers: Conflict-dr...
This work analyses the potential of restarts for probSAT, a quite succes...