Lament Configuration
source
log in
Graphs in disguise: from todo lists to build systems | no time
https://blogs.ncl.ac.uk/andreymokhov/graphs-in-disguise/
algorithms
2017-08-16 07:14:39
—
@moltar
Efficient Implementation of Property Directed Reachability
http://een.se/niklas/eff_impl_pdr.pdf
algorithms
2017-07-24 21:54:39
—
@moltar
WaveFunctionCollapse is Constraint Solving in the Wild
https://adamsmith.as/papers/wfc_is_constraint_solving_in_the_wild.pdf
algorithms
constraint-solving
papers
art
2017-07-18 22:03:37
—
@moltar
Induction for SMT Solvers
http://homepage.cs.uiowa.edu/~ajreynol/vmcai15.pdf
algorithms
papers
2017-07-18 22:01:57
—
@moltar
Bowyer–Watson algorithm - Wikipedia
https://en.m.wikipedia.org/wiki/Bowyer%E2%80%93Watson_algorithm
algorithms
2017-05-21 07:13:40
—
@moltar
art
constraint-solving
papers
first
prev
next
last
