A Wealth of SAT Distributions with Planted Assignments.

Tassos Dimitriou

Published in: CP (2003)

Keyphrases

satisfiability problem
sat solvers
probability distribution
random variables
power law
sat solving
search algorithm
sat problem
genetic algorithm
probabilistic model
gaussian distribution
joint distribution
kullback leibler divergence
boolean satisfiability
sat encodings