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

soos_mate

soos_mate

Post navigation

← soos_mate

Recent Posts

  • Ganakv2 Released
  • Ethereum in the age of AOL
  • Computing Tricky Probabilities
  • Some food for thought: great content on the Internet
  • On SAT/SMT Model Counting

Tags

ANF asymmetric branching BCP binary clauses branching bug CNF Collaborative effort Distributed SAT Solving failed literal probing free software Gaussian elimination glues Grain of Salt hyper-binary resolution library lingeling linux memory layout MiniSat model counting OpenCL Optimisation Parallel SAT Solving PrecoSat presentation programming Release research resolution Sage sampling SAT SAT Race Security self-subsuming resolution simplification SQL stamping subsumption testing transitive reduction variable elimination visualisation XOR