Commit graph

958 commits

Author SHA1 Message Date
Aaron Huber 344d02e50b Rewrote S2. 2021-09-18 12:16:56 -04:00
Atri Rudra d0b2c75d63 Done with my pass 2021-09-18 01:47:02 -04:00
Oliver Kennedy 7351a432ad
removing recursive query computation 2021-09-18 01:11:19 -04:00
Oliver Kennedy 18d105f610
cleaning up a few terms 2021-09-18 01:11:19 -04:00
Atri Rudra e5ca8a4b24 Done with S3 pass 2021-09-18 01:05:31 -04:00
Atri Rudra 985c12ecd9 Done with pass on S2 2021-09-18 00:55:37 -04:00
Oliver Kennedy bd13ad5569
An algorithm for LC 2021-09-18 00:46:11 -04:00
Atri Rudra f6ba1e8a2a Done with intro 2021-09-18 00:24:28 -04:00
Atri Rudra a60e4fdf93 Done with pass on abstract 2021-09-17 23:46:17 -04:00
Boris Glavic 38b25df1f5 fix bug 2021-09-17 22:41:09 -05:00
Boris Glavic c46580baee Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2021-09-17 22:32:10 -05:00
Boris Glavic 0e07dca173 NX comment 2021-09-17 22:30:51 -05:00
Oliver Kennedy f08a03c990
clarifying an N[X]-BIDB 2021-09-17 23:21:37 -04:00
Oliver Kennedy 03875a7cd9
Original Submission 2021-09-17 22:19:29 -04:00
Oliver Kennedy c379f14af6
a few fixes 2021-09-17 22:17:30 -04:00
Oliver Kennedy 317a05ec3f
Back down to 15 2021-09-17 19:46:07 -04:00
Oliver Kennedy 49b7043c36
Relating our results to Fink et al 2021-09-17 19:29:34 -04:00
Aaron Huber e5cc035abc Started appendix pass. 2021-09-17 19:06:35 -04:00
Aaron Huber 08377e20e6 Tidying up. 2021-09-17 18:19:39 -04:00
Aaron Huber 9308491015 Fixing merge conflict. 2021-09-17 18:14:56 -04:00
Aaron Huber ea8cb76bcd Moved commented out material into the appendix. 2021-09-17 18:10:41 -04:00
Boris Glavic 84655e15c7 ra 2021-09-17 13:11:40 -05:00
Boris Glavic f657c94086 intro 2021-09-17 13:04:41 -05:00
Boris Glavic 007f36bfb5 intro 2021-09-17 12:55:13 -05:00
Boris Glavic 3ec70560b8 Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2021-09-17 12:40:29 -05:00
Boris Glavic 51fcabfe5a abstract 2021-09-17 12:39:58 -05:00
Oliver Kennedy e3faa018bc
Rebuttal pass 2021-09-17 13:32:56 -04:00
Aaron Huber 6294207b50 Finished rebuttal document. 2021-09-17 11:44:04 -04:00
Aaron Huber b91bcf4cc8 More rebuttals; had to add some text to S1 and S2. 2021-09-17 10:41:01 -04:00
Aaron Huber cc90b8799a Changes to S4; more rebuttals. 2021-09-17 10:06:03 -04:00
Aaron Huber 8d8e369962 Auto merge failed
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
2021-09-16 15:42:36 -04:00
Aaron Huber 18674e00e5 More adding to the rebuttal. 2021-09-16 15:42:19 -04:00
Oliver Kennedy 14a560d09c
Fixing spacing issue on page 3. Back down to 15pp 2021-09-16 14:01:35 -04:00
Aaron Huber 26faebbdf5 Started rebuttal doc. Started adjusting S3 in appendix. 2021-09-16 11:47:02 -04:00
Atri Rudra a3a822a397 Added macro to remove comments 2021-09-16 09:22:40 -04:00
Oliver Kennedy c7cae52c11
typos 2021-09-15 23:51:29 -04:00
Oliver Kennedy 473b5885a4
Tightening, phrasing, typos 2021-09-15 23:33:04 -04:00
Atri Rudra 885ce8736f Done with my pass 2021-09-15 22:41:47 -04:00
Atri Rudra c527482dd8 Missed commenting out an errant result 2021-09-15 17:16:56 -04:00
Atri Rudra 247a30c714 Done with pass on S3 2021-09-15 17:15:53 -04:00
Aaron Huber 17b1afb954 Finished incorporating @atri write up changes to S2, S4, S5 2021-09-15 12:18:44 -04:00
Aaron Huber d3081e80d1 Finished rearranging S3. 2021-09-15 11:15:36 -04:00
Aaron Huber 6edbd88852 More work on adjusting S.3 2021-09-14 14:41:14 -04:00
Aaron Huber 74d67ae4b0 Added two lemmas to S3. 2021-09-14 08:21:57 -04:00
Atri Rudra 65f7b1bddc Made pass on intro 2021-09-13 18:13:00 -04:00
Atri Rudra 4c01ed4530 output tuple -> result tuple 2021-09-13 17:58:23 -04:00
Atri Rudra 656027c3c9 trimmed the abstract 2021-09-13 17:55:54 -04:00
Aaron Huber a5667ee7d2 Started changes to S.3 to eliminate the 2-step process from our theoretical results. 2021-09-13 12:10:22 -04:00
Oliver Kennedy 441eb67719
Trims and flow tweaks 2021-09-12 23:44:44 -04:00
Atri Rudra b697e7763f Done with pass on intro. 2021-09-12 12:39:04 -04:00