Wonderings of a SAT geek

A blog about SAT solving and cryptography

Menu

Skip to content
  • Research
    • Talks
    • Publications
  • Tools
    • CryptoMiniSat
    • Grain of Salt
  • Docs/Faq
    • CryptoMiniSat FAQ
    • MiniSat FAQ
    • XOR clauses
  • About Me

gep_teljes

Published on August 24, 2012 in My Dell Vostro 3560 reviewFull resolution (800 × 583)
Next →

Overview of the laptop