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
About Me

Search for:

SAT Blog

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