Towards Industrial-Like Random SAT Instances.

Carlos Ansótegui Maria Luisa Bonet Jordi Levy

Published in: IJCAI (2009)

Keyphrases

random sat instances
industrial applications
stochastic local search
sat problem
boolean satisfiability
sat solvers
sat instances
randomly generated
random sat
lower bound
phase transition
max sat