Commit Graph

39 Commits (master)

Author SHA1 Message Date
Atri Rudra 8271735896 Update on Overleaf. 2022-06-10 02:57:35 +00:00
Atri Rudra bf28d14470 Update on Overleaf. 2022-06-08 02:48:02 +00:00
Oliver Kennedy 71f7c3259f
Minor cleaning 2022-06-05 13:15:51 -04:00
Boris Glavic 1aa796641a updates 2022-05-21 16:36:14 +02:00
Aaron Huber af69943c00 Switched to \document[sigconf]{acmart} for PODs submission. 2022-03-14 12:29:22 -04:00
Aaron Huber 580e6876fb Fixed lemma 4.8 proof per @atri 030722 comments. 2022-03-08 20:26:18 -05:00
Aaron Huber 68e05bcbf3 Read through on S1 with changes. 2022-03-02 11:48:42 -05:00
Boris Glavic a39ce16d2b abstract + into 2022-02-25 12:40:12 -06:00
Atri Rudra 98571dc16a Update on Overleaf. 2022-02-23 15:00:12 +00:00
Aaron Huber 1e27058b0c Addressed @oliver and @atri comments 021822, readied the paper for Pablo. 2022-02-22 22:16:29 -05:00
Aaron Huber d8ac368a1a Rehashing the Intro for arxiv upload. 2022-01-11 11:35:45 -05:00
Atri Rudra a021c6040b Done with pass on abstract 2021-09-20 15:32:48 -04:00
Atri Rudra a60e4fdf93 Done with pass on abstract 2021-09-17 23:46:17 -04:00
Boris Glavic 51fcabfe5a abstract 2021-09-17 12:39:58 -05:00
Atri Rudra 656027c3c9 trimmed the abstract 2021-09-13 17:55:54 -04:00
Oliver Kennedy 441eb67719
Trims and flow tweaks 2021-09-12 23:44:44 -04:00
Aaron Huber 6f593b3627 Small changes and notes. 2021-09-01 11:27:11 -04:00
Aaron Huber bd70b6147e Updated Abstract. 2021-08-26 10:17:30 -04:00
Boris Glavic e836805534 Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds 2021-04-10 13:00:06 -05:00
Boris Glavic 7c56dd55b2 abstract + intro 2021-04-10 12:59:17 -05:00
Oliver Kennedy c2c5f3d936
Minor typo/flow tweaks 2021-04-10 13:33:44 -04:00
Boris Glavic 31c57d5b8f small 2021-04-10 08:40:43 -05:00
Oliver Kennedy a9ee4c1fe0
abstract 2021-04-09 16:51:15 -04:00
Boris Glavic 3a68fe6822 updates 2021-04-09 15:12:46 -05:00
Atri Rudra dc83ecfffe updated abstract 2021-04-07 21:42:23 -04:00
Aaron Huber 9c410fa3b8 Started proof for |C|(1,...,1) 2021-03-31 23:02:13 -04:00
Oliver Kennedy 163d4007f4
Updating ACM stylesheet and cleaning up the nastier consequences 2020-12-20 19:07:41 -05:00
Aaron Huber 133c57b1d7 Fixed grammar error in abstract. 2020-12-20 16:59:36 -05:00
Aaron Huber 41f1d6dd38 Used macros for probability notation S1 2020-12-19 22:36:51 -05:00
Oliver Kennedy fd767a507b
Try this one neat trick to save 2 pages :) 2020-12-19 16:46:26 -05:00
Oliver Kennedy 56b47078a0
Minor tweaks 2020-12-15 17:26:40 -05:00
Oliver Kennedy 3c37847847
Abstract pass 2020-12-15 10:52:58 -05:00
Boris Glavic ce19cec017 abstract 2020-12-11 21:02:37 -06:00
Boris Glavic b4ac63abef abstract 2020-12-11 20:46:50 -06:00
Boris Glavic 18a34457ad abstract 2020-12-11 20:39:13 -06:00
Boris Glavic 92dfeca9ed UCQs 2020-12-11 18:54:26 -06:00
Boris Glavic 470b8b4aff abstract 2020-12-11 18:50:53 -06:00
Aaron Huber aaf920e9a3 More work on lemmas 3, 4, and lin sys. 2020-12-04 13:14:12 -05:00
Aaron Huber c204c9fc61 More tweaks to Introduction 120220. 2020-12-02 16:30:42 -05:00