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

The Cult of Security/Privacy By Design
CryptoMiniSat and Parallel SAT Solving
CryptoMiniSat 5.6.3 Released
IT Security Differently
Testing and pentesting, a road to effectiveness

Tags

AIG ANF asymmetric branching autarky BCP binary clauses Blocked Clause Elimination 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 variable elimination visualisation

This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish.Accept Read More

Privacy & Cookies Policy