corpus.blog
41554 blogs · 4,504,310 posts Claim your blog
Record · corpus.blog/posts/01a0878e-1343-723f-bb9f-df6f3dd73f02

Refactoring Varisat: 4. Heuristics

jix.one · published 21 March 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
Links from this post
16
Words captured
2,265

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://jix.one/blog/refactoring-varisat/
jix.one
Refactoring Varisat: 3. Conflict Driven Clause Learning Read at the source ↗
jix.one
https://github.com/jix/varisat/blob/b74767575784b5e93e7f69cc7f96f246634ee65c/varisat/src/prop/long.rs
github.com
https://github.com/jix/varisat/blob/b74767575784b5e93e7f69cc7f96f246634ee65c/varisat/src/decision/vsids.rs
github.com
https://github.com/jix/varisat/blob/b74767575784b5e93e7f69cc7f96f246634ee65c/varisat/src/analyze_conflict.rs
github.com
https://github.com/jix/varisat/blob/b74767575784b5e93e7f69cc7f96f246634ee65c/varisat/src/prop/assignment.rs
github.com
https://github.com/jix/varisat/blob/b74767575784b5e93e7f69cc7f96f246634ee65c/varisat/src/decision.rs
github.com
https://en.wikipedia.org/wiki/Local_search_(optimization
en.wikipedia.org
https://oeis.org/A182105
oeis.org
https://github.com/jix/varisat/blob/b74767575784b5e93e7f69cc7f96f246634ee65c/varisat/src/schedule/luby.rs
github.com
https://www.labri.fr/perso/lsimon/glucose/
labri.fr
https://doi.org/10.1007/978-3-319-24318-4_23
doi.org
https://github.com/jix/varisat/blob/b74767575784b5e93e7f69cc7f96f246634ee65c/varisat/src/clause/reduce.rs
github.com
https://github.com/jix/varisat/blob/b74767575784b5e93e7f69cc7f96f246634ee65c/varisat/src/simplify.rs
github.com
https://jix.one/index.xml
jix.one
https://twitter.com/jix_
twitter.com