The Silent (R)evolution of SAT.

Johannes Klaus Fichte Daniel Le Berre Markus Hecher Stefan Szeider

Published in: Commun. ACM (2023)

Keyphrases

sat solvers
search algorithm
phase transition
real time
data sets
artificial intelligence
satisfiability problem
stochastic local search algorithms
search problems
max sat
propositional satisfiability