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

Donate

Donate BTC to 1K1P8vcQCtQKbriZnccHpph8mSENtEav2h

Recent Posts

Predicting Clause Usefulness
IT Security Differently
Testing and pentesting, a road to effectiveness
Non-reproducible results with MapleCOMSPS
Why Most Published Research Findings Are False

Tags

AIG ANF asymmetric branching autarky BCP binary clauses branching bug cluster CNF Collaborative effort Distributed SAT Solving failed literal probing free software Gaussian elimination git glucose glues Grain of Salt hyper-binary resolution lingeling linux memory layout MiniSat OpenCL OpenMP Optimisation Parallel SAT Solving PrecoSat presentation programming Release research resolution Sage SAT SAT Race Security self-subsuming resolution simplification subsumption testing Trust variable elimination visualisation