Login / Signup
An Empirical Evaluation of SAT Solvers on Bit-vector Problems.
Bruno Dutertre
Published in:
SMT (2020)
Keyphrases
</>
sat solvers
bit vector
sat solving
propositional satisfiability
search strategies
max sat
weighted max sat
search space
optimization problems
linear programming
constraint satisfaction
practical problems
boolean formula