CDCL(Crypto) SAT Solvers for Cryptanalysis.

Saeed Nejati Vijay Ganesh

Published in: CoRR (2020)

Keyphrases

sat solvers
orders of magnitude
propositional satisfiability
sat solving
constraint satisfaction
max sat
boolean satisfiability
search tree
sat problem
search space
search strategies
sat instances
sat encodings
clause learning
state space
boolean formula