Login / Signup
Investigating Characteristics and Differences Between Easy and Hard SAT Instances.
Teofil Sidoruk
Published in:
CS&P (2018)
Keyphrases
</>
sat instances
satisfiability problem
sat solvers
sat problem
phase transition
random sat
stochastic local search
database
database systems
utility function
search strategies
boolean satisfiability