Wonderings of a SAT geek

A blog about SAT solving and cryptography

Menu

Skip to content

Research
- Talks
- Publications
Tools
Docs/Faq
About Me

Search for:

SAT Blog

Donate

Donate BTC to 1K1P8vcQCtQKbriZnccHpph8mSENtEav2h

Recent Posts

Testing and pentesting, a road to effectiveness
MapleCOMSPS taking the cake
Why Most Published Research Findings Are False
CryptoMiniSat 5.0.1 released — with MIT license
Texas Executed Offenders’ Last Words

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