Extending SAT Solvers to Cryptographic Problems.

Mate Soos Karsten Nohl Claude Castelluccia

Published in: SAT (2009)

Keyphrases

sat solvers
orders of magnitude
propositional satisfiability
sat solving
sat instances
weighted max sat
np complete
decision problems
combinatorial problems
clause learning