Login / Signup
Thresholds for Random Geometric k-SAT.
Milan Bradonjic
Will Perkins
Published in:
CoRR (2013)
Keyphrases
</>
search algorithm
sat solvers
sat problem
neural network
genetic algorithm
geometric structure
data sets
objective function
phase transition
randomly generated
geometric information
graph coloring
boolean satisfiability