Record · corpus.blog/posts/01a0c6a1-ae38-70d9-965b-8e204bf5fd65

CryptoMiniSat on XNF Benchmarks, Revisited

msoos.org · published 13 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at msoos.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 21
Words captured: 1,269

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://github.com/j-danner/2-Xornado

github.com

https://github.com/j-danner/Xorricane/

github.com

https://arxiv.org/pdf/2311.00733

arxiv.org

https://dl.acm.org/doi/epdf/10.1613/jair.1.20298

dl.acm.org

https://github.com/msoos/cryptominisat

github.com

https://arxiv.org/pdf/2605.15002

arxiv.org

https://msoos.github.io/xnf-tests/

msoos.github.io

https://github.com/arminbiere/cadical

github.com

https://repositum.tuwien.at/handle/20.500.12708/200796

repositum.tuwien.at

https://github.com/msoos/cryptominisat/releases/tag/release%2Fv5.15.0

github.com

https://satcpdp25.github.io/submissions/satcpdp-25_paper_19.pdf

satcpdp25.github.io

https://github.com/digama0/frat

github.com

https://arxiv.org/pdf/2109.09665v2

arxiv.org

https://github.com/msoos/xnf-tests

github.com

https://github.com/msoos/xnf-tests/blob/main/xnf_fuzzer.py

github.com

https://github.com/meelgroup/bosphorus

github.com

https://www.cs.toronto.edu/~meel/Papers/date-cscm19.pdf

cs.toronto.edu

https://github.com/meelgroup/approxmc/

github.com

https://github.com/meelgroup/arjun

github.com

https://github.com/meelgroup/ganak

github.com

https://github.com/meelgroup/pepin

github.com