 Aaron Huber
|
e9d13722af
|
Moved S2 proofs into Appendix
|
2020-12-17 17:08:48 -05:00 |
|
|
Aaron Huber
|
aa8bac2075
|
Moved unnecessary S3 defs into appendix.
|
2020-12-17 16:53:45 -05:00 |
|
|
Aaron Huber
|
7c4949ab6c
|
Moved proofs into appendix (S3, S4)
|
2020-12-17 16:40:48 -05:00 |
|
|
Aaron Huber
|
14cd501bfe
|
Reading pass on S5
|
2020-12-17 12:13:30 -05:00 |
|
 Atri Rudra
|
19b6220ee6
|
Done with my pass on Sec 5
|
2020-12-17 01:32:08 -05:00 |
|
|
Atri Rudra
|
f63cf9c2e5
|
Still working on Sec 5
|
2020-12-17 00:02:07 -05:00 |
|
|
Aaron Huber
|
e13373cf21
|
Small changes Sec 3
|
2020-12-16 22:09:57 -05:00 |
|
|
Atri Rudra
|
b9ad03d01b
|
Finally, started my pass on Sec 5
|
2020-12-16 21:34:26 -05:00 |
|
Su Feng
|
f2a6a62320
|
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2020-12-16 20:01:32 -06:00 |
|
|
Su Feng
|
b128f5b90b
|
comments section 1&2
|
2020-12-16 20:01:22 -06:00 |
|
|
Aaron Huber
|
fe14d240b6
|
Fixed end of lemma 3.5 proof.
|
2020-12-16 17:25:37 -05:00 |
|
|
Aaron Huber
|
ac684a8d47
|
Made a pass on S2.
|
2020-12-16 12:38:21 -05:00 |
|
|
Aaron Huber
|
b4d0814133
|
Fixed typo in section 2.
|
2020-12-16 09:54:46 -05:00 |
|
|
Aaron Huber
|
9993556324
|
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2020-12-16 09:39:21 -05:00 |
|
|
Atri Rudra
|
2a07b70b48
|
Made pass on Aaron Sec 4 comments
|
2020-12-15 19:26:19 -05:00 |
|
|
Atri Rudra
|
b824916441
|
Handled Oliver's comments on Sec 3
|
2020-12-15 19:10:17 -05:00 |
|
|
Aaron Huber
|
88f2d50b4f
|
Resolving conflicts
|
2020-12-15 18:48:44 -05:00 |
|
|
Aaron Huber
|
ccc2f2ef0b
|
Minor cosmetic changes
|
2020-12-15 18:46:36 -05:00 |
|
 Oliver Kennedy
|
9e101082c7
|
Minor typo fixes
|
2020-12-15 17:46:35 -05:00 |
|
|
Oliver Kennedy
|
56b47078a0
|
Minor tweaks
|
2020-12-15 17:26:40 -05:00 |
|
|
Aaron Huber
|
f118d51339
|
Fixed arithmetic error in experiment section.
|
2020-12-15 12:51:17 -05:00 |
|
|
Aaron Huber
|
f7aa243889
|
Took a pass through sec 4; left some notes
|
2020-12-15 12:47:36 -05:00 |
|
Boris Glavic
|
df38fb6796
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-15 11:02:33 -06:00 |
|
|
Boris Glavic
|
c50da5ab07
|
poly
|
2020-12-15 11:02:22 -06:00 |
|
|
Aaron Huber
|
afea147ae3
|
Finished Experiments
|
2020-12-15 10:55:07 -05:00 |
|
|
Oliver Kennedy
|
3c37847847
|
Abstract pass
|
2020-12-15 10:52:58 -05:00 |
|
|
Boris Glavic
|
4d04f1f3c5
|
poly
|
2020-12-15 09:06:38 -06:00 |
|
|
Atri Rudra
|
500c6bb57f
|
Done with pass on Sec 4
|
2020-12-15 01:09:00 -05:00 |
|
|
Boris Glavic
|
1cca5849e6
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-14 22:34:20 -06:00 |
|
|
Boris Glavic
|
ece02d0b1d
|
poly
|
2020-12-14 22:34:12 -06:00 |
|
|
Atri Rudra
|
cba9d6adc5
|
Done till correctness of main approx algo.
Still need to make pass on auxialliary algos
|
2020-12-14 23:24:09 -05:00 |
|
|
Oliver Kennedy
|
fd23ea69f9
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-14 23:21:32 -05:00 |
|
|
Oliver Kennedy
|
186d22a12e
|
oops, added a temp file
|
2020-12-14 23:21:21 -05:00 |
|
|
Oliver Kennedy
|
a3417978bb
|
Circuits model runtime
|
2020-12-14 23:21:03 -05:00 |
|
|
Atri Rudra
|
50669af401
|
Started with proof of correctness of approx algo
|
2020-12-14 22:37:30 -05:00 |
|
|
Boris Glavic
|
6a811cefc7
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-14 19:57:11 -06:00 |
|
|
Aaron Huber
|
9f140d22eb
|
Added experiments
|
2020-12-14 15:22:17 -05:00 |
|
|
Atri Rudra
|
747404bf06
|
Done till corollaries of main thm of Sec 4.
Still need to make pass on the algo boxes and their lemmas
|
2020-12-14 14:11:46 -05:00 |
|
|
Boris Glavic
|
b4e27c5f12
|
poly
|
2020-12-14 12:58:56 -06:00 |
|
|
Atri Rudra
|
28bcd103bf
|
Done in Sec 4 till definition of gamma
|
2020-12-14 11:47:18 -05:00 |
|
|
Atri Rudra
|
b7d506364b
|
t pushMerge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-14 01:17:18 -05:00 |
|
|
Atri Rudra
|
29f8df7617
|
Done with pass on Sec 3
|
2020-12-14 01:17:15 -05:00 |
|
|
Boris Glavic
|
29f1c618fe
|
outsources old backgrdount to old-background.tex
|
2020-12-13 23:43:20 -06:00 |
|
|
Boris Glavic
|
8255ac56bb
|
macors
|
2020-12-13 23:33:29 -06:00 |
|
|
Boris Glavic
|
d80d1f5373
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-13 23:30:44 -06:00 |
|
|
Boris Glavic
|
7033730314
|
background
|
2020-12-13 23:30:09 -06:00 |
|
|
Atri Rudra
|
6bff4061fc
|
Done till proof of Lemma 3.15
|
2020-12-14 00:28:04 -05:00 |
|
|
Atri Rudra
|
4a52573012
|
Added a app for Sec 3 details
|
2020-12-13 21:53:22 -05:00 |
|
|
Atri Rudra
|
82b682d92e
|
Done with multiple p stuff
|
2020-12-13 21:49:25 -05:00 |
|
|
Oliver Kennedy
|
68d36c58bb
|
Polishing
|
2020-12-13 19:02:06 -05:00 |
|