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

Weighted to Unweighted Counting and Sampling
CrystalBall: SAT solving, Data Gathering, and Machine Learning
SAT Solvers as Smart Search Engines
Bosphorus, an ANF and CNF simplifier and converter
How Approximate Model Counting Works

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

Necessary Always Enabled