Login / Signup
A Modularity-Based Random SAT Instances Generator.
Jesús Giráldez-Cru
Jordi Levy
Published in:
IJCAI (2015)
Keyphrases
</>
random sat instances
stochastic local search
sat problem
sat solvers
sat instances
phase transition
max sat
boolean satisfiability
genetic algorithm
computational complexity
evolutionary algorithm
np hard
random sat