Using Walk-SAT and Rel-Sat for Cryptographic Key Search

Fabio Massacci. Using Walk-SAT and Rel-Sat for Cryptographic Key Search. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. pages 290-295, Morgan Kaufmann, 1999.

@inproceedings{Massacci99:0,
  title = {Using Walk-SAT and Rel-Sat for Cryptographic Key Search},
  author = {Fabio Massacci},
  year = {1999},
  tags = {search},
  researchr = {https://researchr.org/publication/Massacci99%3A0},
  cites = {0},
  citedby = {0},
  pages = {290-295},
  booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages},
  editor = {Thomas Dean},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-613-0},
}