C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Rado Numbers and SAT Computations.
Yuan Chang
Jesús A. De Loera
William J. Wesley
Published in:
ISSAC (2022)
Keyphrases
</>
sat solvers
satisfiability problem
search algorithm
sat problem
max sat
propositional satisfiability
boolean satisfiability
sat solving
stochastic local search algorithms
social networks
genetic algorithm
upper bound
constraint satisfaction problems