SAT for data encryption

• “Using Walk-SAT and Rel-SAT for cryptographic key search”

• Fabio Massacci, Univ. di Roma I “La Sapienza”

• Proceedings IJCAI 99, pages 290-295

• Challenge papers section

  • Rel-SAT? A variant of Davis-Putnam with added “CBJ”
  • Walk-SAT? A successful incomplete SAT algorithm