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