CDCL(Crypto) SAT solvers for cryptanalysis.

Saeed Nejati Vijay Ganesh

Published in: CASCON (2019)

Keyphrases

sat solvers
orders of magnitude
search space
constraint satisfaction
sat solving
boolean satisfiability
propositional satisfiability
search tree
max sat
sat instances
search strategies
sat problem
answer sets
sat encodings
search algorithm
boolean formula