2 search results - page 1 / 1 » Towards a Better Understanding of the Functionality of a Con... |
SAT
2007
Springer
14 years 6 days ago
2007
Springer
SAT
2009
Springer
14 years 19 days ago
2009
Springer
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 ...