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

Ethereum in the age of AOL
Computing Tricky Probabilities
Some food for thought: great content on the Internet
On SAT/SMT Model Counting
Our tools for solving, counting and sampling

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