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

SAT Solvers as Smart Search Engines
Bosphorus, an ANF and CNF simplifier and converter
How Approximate Model Counting Works
ApproxMCv3, a modern approximate model counter
The Cult of Security/Privacy By Design

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 Optimisation Parallel SAT Solving PrecoSat presentation programming Release research resolution Sage SAT SAT Race Security self-subsuming resolution simplification subsumption testing variable elimination visualisation XOR

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 Reject Read More

Privacy & Cookies Policy