41,554 blogs · 4,654,352 posts Claim your blog

Record · corpus.blog/posts/01a0878e-1343-723f-bb9f-df6f3dd399bd

Refactoring Varisat: 5. Incremental Solving and Proofs

jix.one · published 26 April 2019

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 jix.one Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 10
Words captured: 3,005

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://satcompetition.org/

satcompetition.org

https://github.com/jix/varisat/blob/d4186120a894ca39261c8fce049a39fb712ad672/varisat/src/load.rs

github.com

https://github.com/jix/varisat/blob/98d791949e91c47af76c2e7d3e8488a9993fea46/varisat/src/incremental.rs

github.com

https://en.wikipedia.org/wiki/Resolution_(logic

en.wikipedia.org

https://www.cs.utexas.edu/~marijn/drat-trim/

cs.utexas.edu

http://www.cs.utexas.edu/users/marijn/publications/lrat.pdf

cs.utexas.edu

https://github.com/jix/varisat/blob/d4186120a894ca39261c8fce049a39fb712ad672/varisat/src/proof.rs

github.com

https://github.com/jix/varisat/blob/d4186120a894ca39261c8fce049a39fb712ad672/varisat/src/checker.rs

github.com

https://crates.io/

crates.io

https://twitter.com/jix_

twitter.com

Elsewhere on jix.one (4)

https://jix.one/blog/refactoring-varisat/

jix.one

Refactoring Varisat: 4. Heuristics Read at the source ↗

Refactoring Varisat: 3. Conflict Driven Clause Learning Read at the source ↗

https://jix.one/index.xml

jix.one