Exploiting the SAT Revolution for Automated Software Verification: Report from an Industrial Case Study.

Lucas C. Cordeiro

Published in: LADC (Companion) (2021)

Keyphrases

sat solvers
st century
semi automated
database
phase transition
satisfiability problem
stochastic local search algorithms
data driven
search strategies
fully automated
sat problem
fifty years
real time
semi automatic
sat solving