Aaron Huber
|
9ff4564b3c
|
Finished with pass on Appendix A.
|
2021-09-18 13:48:00 -04:00 |
|
Oliver Kennedy
|
3d67dbbb1b
|
bounding depth
|
2021-09-18 12:50:05 -04:00 |
|
Boris Glavic
|
b567466df7
|
ua citation
|
2021-09-18 11:38:11 -05:00 |
|
Aaron Huber
|
0e45d9685a
|
Fixed typo.
|
2021-09-18 12:20:50 -04:00 |
|
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 |
|