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
moltar
Efficient Implementation of Property Directed Reachability
http://een.se/niklas/eff_impl_pdr.pdf
algorithms
2017-07-24
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
moltar
Induction for SMT Solvers
http://homepage.cs.uiowa.edu/~ajreynol/vmcai15.pdf
algorithms
papers
2017-07-18
moltar
Bowyer–Watson algorithm - Wikipedia
https://en.m.wikipedia.org/wiki/Bowyer%E2%80%93Watson_algorithm
algorithms
2017-05-21
moltar
art
constraint-solving
papers
first
prev
next
last
