Commit Graph

18 Commits (master)

Author SHA1 Message Date
Atri Rudra 71ffbf95fa Update on Overleaf. 2022-06-02 22:37:38 +00:00
Aaron Huber 580e6876fb Fixed lemma 4.8 proof per @atri 030722 comments. 2022-03-08 20:26:18 -05:00
Aaron Huber ae65ae3815 Completed pass on S5 and S6. 2022-02-17 10:15:52 -05:00
Atri Rudra d0b2c75d63 Done with my pass 2021-09-18 01:47:02 -04:00
Oliver Kennedy 49b7043c36
Relating our results to Fink et al 2021-09-17 19:29:34 -04:00
Aaron Huber 17b1afb954 Finished incorporating @atri write up changes to S2, S4, S5 2021-09-15 12:18:44 -04:00
Boris Glavic ab6c53c52e related + conclusions 2021-04-08 21:17:57 -05:00
Aaron Huber 262debf68c Small changes to S6 and S7 (Aaron) 2021-04-08 15:42:29 -04:00
Oliver Kennedy a42bf3a37b
One cite over still 2020-12-20 18:54:40 -05:00
Oliver Kennedy 13a7cd264d
Tweaking S5, and trimming back down to 12 2020-12-20 18:38:59 -05:00
Oliver Kennedy 4e0e39a762
Moving back circuit complexity related work 2020-12-20 01:25:18 -05:00
Atri Rudra 5f85cacdca Done with pass on S6+7 2020-12-19 23:44:40 -05:00
Boris Glavic 0dbf75ebba shorten 2020-12-19 15:44:18 -06:00
Oliver Kennedy 5321761acf
Trimming about all that I can trim through rephrasing+spacing cheats 2020-12-19 14:02:12 -05:00
Boris Glavic 22e5af76db split related work 2020-12-19 08:32:58 -06:00
Boris Glavic d020eba059 fixed refs 2020-12-19 00:28:07 -06:00
Boris Glavic 923cba6a34 merged bib + wrote related work 2020-12-19 00:19:27 -06:00
Boris Glavic 9e02e98638 conclusions 2020-12-11 19:29:01 -06:00