Sciweavers

2 search results - page 1 / 1
» Towards a Better Understanding of the Functionality of a Con...
Sort
View
SAT
2007
Springer
95views Hardware» more  SAT 2007»
14 years 4 months ago
Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver
Nachum Dershowitz, Ziyad Hanna, Alexander Nadel
SAT
2009
Springer
126views Hardware» more  SAT 2009»
14 years 5 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia