Lament Configuration
source
log in
Ghosts of Departed Proofs (Functional Pearl) - gdp.pdf
http://kataskeue.com/gdp.pdf
papers
proofs
2019-03-11 23:36:00
—
@moltar
GR(1) Synthesis for LTL Specification Patterns
https://www.cs.tau.ac.il/~maozs/papers/syntech-patterns-fse15.pdf
papers
ltl
2017-07-31 17:29:32
—
@moltar
From Parametricity to Conservation Laws, via Noether's Theorem
http://bentnib.org/conservation-laws.html
papers
2017-07-31 17:28:28
—
@moltar
Mental models and human reasoning
http://www.pnas.org/content/107/43/18243.full
papers
2017-07-18 22:03:52
—
@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
algorithms
art
constraint-solving
ltl
proofs
first
prev
next
last
