https://www.msoos.org/2010/08/self-subsuming-resolution/2010-08-04T21:26:00+01:00https://www.msoos.org/2010/07/asymmetric-branching/2012-10-06T14:37:31+01:00https://www.msoos.org/2010/07/propagating-faster/2010-07-26T17:13:00+01:00https://www.msoos.org/2010/07/stats-on-cryptominisats-development/2010-07-22T16:10:00+01:00https://www.msoos.org/2010/07/winning-the-sat-race/2010-07-17T19:12:00+01:00https://www.msoos.org/2010/07/the-2010-sat-conference/2010-07-12T20:04:00+01:00https://www.msoos.org/2010/07/anf-to-cnf-conversion/2013-08-12T20:43:30+01:00https://www.msoos.org/2010/06/how-to-bit-stuff-pointers/2010-06-30T08:22:00+01:00https://www.msoos.org/2010/06/propagating-binary-clauses/2010-06-27T18:48:00+01:00https://www.msoos.org/2010/06/optimisations-take-two/2010-06-12T20:50:00+01:00https://www.msoos.org/2010/06/the-obvious-child/2010-06-08T15:39:00+01:00https://www.msoos.org/2010/05/why-programs-fail/2010-05-29T19:18:00+01:00https://www.msoos.org/2010/05/being-dumb-is-part-of-the-deal/2010-05-26T19:36:00+01:00https://www.msoos.org/2010/05/i-must-be-dumb/2015-06-16T17:42:15+01:00https://www.msoos.org/2010/05/on-failed-literal-probing/2010-05-18T00:11:00+01:00https://www.msoos.org/2010/05/gaussian-elimination-is-released/2010-05-09T21:33:00+01:00https://www.msoos.org/2010/05/parallelisation/2010-05-05T10:01:00+01:00https://www.msoos.org/2010/04/social-coding/2010-04-29T21:04:00+01:00https://www.msoos.org/2010/04/blocked-clause-elimination-implies-dependent-variable-removal/2010-04-28T21:50:00+01:00https://www.msoos.org/2010/04/cryptominisat-v2-finally-released/2010-04-27T13:49:00+01:00https://www.msoos.org/2010/04/on-precosat/2010-04-25T20:47:00+01:00https://www.msoos.org/2010/04/optimisations/2010-04-22T13:10:00+01:00https://www.msoos.org/2010/04/tools-that-i-use-often/2010-04-19T21:23:00+01:00https://www.msoos.org/2010/04/216/2010-04-17T21:14:00+01:00https://www.msoos.org/2010/04/a-great-essay-on-security-in-the-cyberworld/2010-04-13T20:34:00+01:00https://www.msoos.org/2010/04/the-dates-of-the-sat-race-2010-have-been-announced/2010-04-12T11:15:00+01:00https://www.msoos.org/2010/04/on-research-in-general/2010-04-01T20:29:00+01:00https://www.msoos.org/2010/03/why-cryptominisat-cant-use-matlab-to-do-gaussian-elimination/2010-03-19T15:16:00+01:00https://www.msoos.org/2010/03/could-monomials-be-handled-natively-from-sat-solvers/2010-03-17T13:05:00+01:00https://www.msoos.org/2010/03/cryptominisat-v2/2010-03-04T21:58:00+01:00https://www.msoos.org/2008/11/why-do-i-use-linux/2008-11-01T14:11:00+01:00https://www.msoos.org/2008/10/how-to-unload-the-sound-module/2008-10-26T19:02:00+01:00https://www.msoos.org/2008/09/kde4-composite-with-intel-drivers/2008-09-20T10:06:00+01:00https://www.msoos.org/2008/09/suspend-on-dell-d430/2008-09-19T19:13:00+01:00https://www.msoos.org/2008/09/synaptics/2008-09-12T20:33:00+01:00https://www.msoos.org/2010/08/on-the-fly-self-subsuming-resolution/2010-08-15T23:44:16+01:00https://www.msoos.org/2010/08/cryptominisat-2-6-0-released/2010-08-30T13:30:10+01:00https://www.msoos.org/2010/09/truth-table-to-anf-conversion/2013-02-12T20:40:55+01:00https://www.msoos.org/2010/09/creating-a-sat-solver-from-scratch/2010-09-05T17:53:28+01:00https://www.msoos.org/2010/09/fpga-programming-and-sat/2010-09-13T22:06:08+01:00https://www.msoos.org/2010/09/reinventing-the-wheel/2010-09-18T17:29:45+01:00https://www.msoos.org/2010/09/anf2cnf-hell-in-sage/2010-09-23T00:38:20+01:00https://www.msoos.org/2010/09/anf2cnf-script-released/2010-09-24T16:38:29+01:00https://www.msoos.org/2010/09/transitive-otf-self-subsuming-resolution/2010-09-28T17:26:51+01:00https://www.msoos.org/2010/09/documenting-cryptominisat/2010-09-29T17:59:36+01:00https://www.msoos.org/2010/09/open-source-software-free-software/2010-09-30T19:40:27+01:00https://www.msoos.org/2010/10/configuration-management-at-irill-days/2010-10-04T17:17:42+01:00https://www.msoos.org/2010/10/cryptominisat-2-7-1-released/2010-10-13T17:46:18+01:00https://www.msoos.org/2010/10/wasting-cluster-time/2010-10-15T22:54:20+01:00https://www.msoos.org/2010/10/implicit-binary-clauses/2010-10-27T23:14:57+01:00https://www.msoos.org/2010/11/the-cathedral/2010-11-07T21:09:59+01:00https://www.msoos.org/2010/11/caching/2010-11-23T14:43:50+01:00https://www.msoos.org/2010/12/dependent-literals/2010-12-07T23:15:41+01:00https://www.msoos.org/2010/12/hyper-binary-resolution-i-was-wrong-again/2010-12-16T20:42:26+01:00https://www.msoos.org/2010/12/distributed-sat-solving-is-fun/2010-12-20T18:45:33+01:00https://www.msoos.org/2010/12/ccc-madness/2010-12-27T00:04:47+01:00https://www.msoos.org/2010/12/extended-resolution-is-working/2010-12-28T23:13:08+01:00https://www.msoos.org/2011/01/the-variable-speed-of-sat-solving/2011-01-02T23:37:46+01:00https://www.msoos.org/2011/01/changing-the-watchlist-scheme/2011-01-14T13:18:59+01:00https://www.msoos.org/2011/01/cryptominisat-2-9-0-released/2011-01-20T23:41:57+01:00https://www.msoos.org/2011/01/on-the-new-watchlist-scheme/2011-01-23T11:12:24+01:00https://www.msoos.org/2011/02/delayed-updates/2011-02-05T22:38:50+01:00https://www.msoos.org/2011/02/visiting-linz/2011-02-15T14:52:40+01:00https://www.msoos.org/2011/03/cryptominisat-in-sat-competition11/2011-03-06T19:21:47+01:00https://www.msoos.org/2011/03/recovering-xors-from-a-cnf/2014-04-01T16:54:50+01:00https://www.msoos.org/2011/03/come-to-hackito-ergo-sum11/2011-03-28T13:07:06+01:00https://www.msoos.org/2011/04/presentation-at-hackito-ergo-sum/2011-04-13T19:04:56+01:00https://www.msoos.org/2011/05/understanding-implication-graphs/2011-05-27T23:18:17+01:00https://www.msoos.org/2011/06/dreaming-up-a-parallel-sat-architecture/2011-06-06T13:26:15+01:00https://www.msoos.org/2011/06/cryptominisat-won-two-gold-medals-at-sat-comp11/2011-06-27T17:49:58+01:00https://www.msoos.org/2011/07/fun-facts-about-sat-solving-part-1/2011-07-01T15:33:49+01:00https://www.msoos.org/2011/07/learnt-clause-graphs/2011-07-07T16:31:19+01:00https://www.msoos.org/2011/07/note-to-self-higher-level-autarkies/2014-07-28T21:07:52+01:00https://www.msoos.org/2011/08/failed-literal-probing-and-uip/2011-08-04T10:50:02+01:00https://www.msoos.org/2011/08/ccc-camp11/2011-08-15T21:17:41+01:00https://www.msoos.org/2013/07/clause-glues-are-a-mystery-to-me/2013-07-08T17:49:58+01:00https://www.msoos.org/2011/12/thoughts-on-sat-at-home/2011-12-11T22:05:58+01:00https://www.msoos.org/2012/01/amds-opencl-heaven-and-hell/2015-08-30T21:07:42+01:00https://www.msoos.org/2012/01/a-nifty-way-of-saving-time-with-opencl/2013-08-20T01:15:52+01:00https://www.msoos.org/2012/05/on-hyper-binary-resolution/2012-05-18T11:17:01+01:00https://www.msoos.org/2012/05/q-dimm-an-innovation-by-asus/2012-12-04T15:54:29+01:00https://www.msoos.org/2012/06/visualizing-sat-solving/2012-06-16T15:05:24+01:00https://www.msoos.org/2012/06/how-to-use-cryptominisat-2-9-as-a-library/2012-06-22T11:12:57+01:00https://www.msoos.org/2012/08/my-dell-vostro-3560-review/2014-11-18T01:19:49+01:00https://www.msoos.org/2012/11/collecting-solver-data/2012-11-21T17:43:17+01:00https://www.msoos.org/2013/03/on-benchmark-randomization/2013-03-13T13:15:38+01:00https://www.msoos.org/2013/04/cryptominisat-3-0-released/2013-04-05T13:28:25+01:00https://www.msoos.org/2013/04/cryptominisat-3-1-released/2013-04-14T18:34:19+01:00https://www.msoos.org/2013/04/a-variable-elimination-improvement/2021-06-24T20:35:22+01:00https://www.msoos.org/2013/04/certified-unsat-and-cryptominisat/2013-04-25T20:49:13+01:00https://www.msoos.org/2013/04/gcc-4-5-2-at-sat-competition-201/2013-04-29T17:26:06+01:00https://www.msoos.org/2013/04/cryptominisat-3-2-0-released/2014-01-30T18:34:04+01:00https://www.msoos.org/2013/07/cryptominisat-3-3-released/2013-07-10T19:52:36+01:00https://www.msoos.org/2013/07/handling-disconnected-components/2013-08-02T18:21:06+01:00https://www.msoos.org/2013/08/why-cryptominisat-3-3-doesnt-have-xors/2013-08-02T18:25:49+01:00https://www.msoos.org/2013/08/my-sat-solver-fuzzing-setup/2013-08-29T12:40:49+01:00https://www.msoos.org/2013/09/minisat-in-your-browser/2018-05-31T05:04:41+01:00https://www.msoos.org/2013/12/a-note-on-learnt-clauses/2014-04-16T17:21:43+01:00https://www.msoos.org/2013/12/on-variable-renumbering/2013-12-18T14:46:38+01:00https://www.msoos.org/2014/03/speeding-up-minisat-with-a-one-liner/2014-03-23T22:21:54+01:00https://www.msoos.org/2014/04/cryptominisat-4-released/2014-04-10T12:04:47+01:00https://www.msoos.org/2014/04/why-its-hard-to-eliminate-variables/2014-04-16T17:26:58+01:00https://www.msoos.org/2014/04/multi-threading/2014-04-23T00:15:21+01:00https://www.msoos.org/2014/04/my-sat-competition-2014-entry/2014-04-29T07:13:09+01:00https://www.msoos.org/2014/05/final-polish-of-sat-competition-2014-entry/2014-05-07T22:19:05+01:00https://www.msoos.org/2014/05/multi-threading-and-startup-speed/2014-05-16T17:15:39+01:00https://www.msoos.org/2014/06/smt-competition14-and-stp/2014-12-11T18:54:03+01:00https://www.msoos.org/2014/07/cryptominisat-4-2-released/2014-11-18T01:19:16+01:00https://www.msoos.org/2014/08/on-using-less-memory-for-binary-clauses-in-lingeling/2016-03-30T01:28:27+01:00https://www.msoos.org/2014/08/treelook-and-transitive-reduction/2014-11-18T01:18:13+01:00https://www.msoos.org/2014/11/cleaning-the-learnt-clause-database-faster/2015-11-01T22:32:02+01:00https://www.msoos.org/2015/05/the-past-half-year-of-sat-and-smt/2015-05-25T18:52:45+01:00https://www.msoos.org/2015/06/towards-cryptominisat-5/2015-07-29T02:24:16+01:00https://www.msoos.org/2015/08/machine-learning-and-sat/2016-05-21T17:25:22+01:00https://www.msoos.org/2015/09/setting-up-encrypted-mail-in-chrome-and-gmail/2016-02-28T17:55:01+01:00https://www.msoos.org/2015/09/sat-race15-the-smt-comp15-cryptominisat-stp/2016-02-28T17:54:42+01:00https://www.msoos.org/2015/10/cryptominisat-8000-commits-later/2016-02-28T17:53:56+01:00https://www.msoos.org/2015/11/testing-cryptominisat-using-googletest/2016-02-28T17:53:21+01:00https://www.msoos.org/2015/11/on-testing-and-security-engineering/2016-02-28T16:47:03+01:00https://www.msoos.org/2016/03/benchmark-randomisation-sat-competition2016/2016-03-07T23:19:51+01:00https://www.msoos.org/2016/03/memory-layout-of-clauses-in-minisat/2016-03-30T01:32:51+01:00https://www.msoos.org/2016/04/eight-pro-tips-on-creating-better-software/2016-05-21T17:22:42+01:00https://www.msoos.org/2016/07/cryptominisat-5-0-0-released/2016-07-16T14:36:24+01:00https://www.msoos.org/2016/07/texas-executed-offenders-last-words/2016-07-17T12:01:22+01:00https://www.msoos.org/2016/09/cryptominisat-5-0-1-released-with-mit-license/2016-09-10T15:17:29+01:00https://www.msoos.org/2017/01/why-most-published-research-false/2018-11-26T22:28:12+01:00https://www.msoos.org/2017/02/non-reproducible-maplecomsps/2018-01-21T22:32:31+01:00https://www.msoos.org/2017/05/testing-and-pentesting/2018-01-02T01:06:59+01:00https://www.msoos.org/2017/12/security_differently/2018-01-02T01:06:36+01:00https://www.msoos.org/2018/06/cryptominisat-5-6-3-released/2018-07-15T10:38:46+01:00https://www.msoos.org/2018/07/cryptominisat-and-parallel-sat-solving/2018-07-24T23:16:48+01:00https://www.msoos.org/2018/09/the-cult-of-security-privacy-by-design/2018-09-13T18:47:55+01:00https://www.msoos.org/2018/11/approxmcv3-a-modern-approximate-model-counter/2021-06-24T20:35:04+01:00https://www.msoos.org/2018/12/how-approximate-model-counting-works/2018-12-09T19:53:43+01:00https://www.msoos.org/2019/01/bosphorus-an-anf-and-cnf-simplifier-and-converter/2019-01-05T00:54:54+01:00https://www.msoos.org/2019/02/sat-solvers-as-smart-search-engines/2019-02-16T20:53:04+01:00https://www.msoos.org/2019/06/crystalball-sat-solving-data-gathering-and-machine-learning/2019-12-25T12:18:38+01:00https://www.msoos.org/2019/12/weighted-to-unweighted-counting-and-sampling/2019-12-23T20:15:20+01:00https://www.msoos.org/2020/07/cryptominisat-5-8-0-released/2020-07-27T23:07:25+01:00https://www.msoos.org/2021/09/cmsgen-a-fast-uniform-like-sampler/2025-04-21T19:53:20+01:00https://www.msoos.org/2022/04/proof-traces-for-sat-solvers/2022-04-28T13:17:22+01:00https://www.msoos.org/2022/05/a-tale-of-shift-left-shift-right-and-mev/2022-05-13T22:31:58+01:00https://www.msoos.org/2022/06/checking-uniform-like-samplers/2025-04-21T19:49:26+01:00https://www.msoos.org/2022/08/arjun-our-new-cnf-model-counting-preprocessor/2025-04-21T19:37:34+01:00https://www.msoos.org/2023/09/pepin-our-probabilistic-approximate-volume-counter/2025-04-21T19:24:47+01:00https://www.msoos.org/2023/10/the-inprocessing-api-of-cryptominisat/2023-10-01T15:08:37+01:00https://www.msoos.org/2024/02/our-tools-for-solving-counting-and-sampling/2024-10-24T19:07:40+01:00https://www.msoos.org/2024/10/on-sat-smt-model-counting/2025-04-21T19:14:28+01:00https://www.msoos.org/2024/12/some-food-for-thought-great-content-on-the-internet/2026-03-06T14:10:05+01:00https://www.msoos.org/2025/02/computing-tricky-probabilities/2025-02-14T13:17:15+01:00https://www.msoos.org/2025/03/ethereum-in-the-age-of-aol/2025-04-21T19:15:50+01:00https://www.msoos.org/2025/05/ganakv2-released/2025-08-13T22:59:21+01:00https://www.msoos.org/2026/03/ganak-the-making-of-a-versatile-high-performance-model-counter/2026-03-06T14:09:12+01:00https://www.msoos.org/2026/07/ganak-architecture-in-broad-strokes/2026-07-18T16:33:11+01:00