On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing.

Remi Delannoy Kuldeep S. Meel

Published in: LICS (2022)

Keyphrases

power consumption
stochastic local search algorithms
search algorithm
optimal solution
satisfiability problem
search strategies
pairwise
sat solvers
combinatorial problems
generation process
simulated annealing
feasible solution
benchmark problems
phase transition
propositional logic
search procedures
data sets