Atri Rudra
|
7cc07ae2b7
|
Update on Overleaf.
|
2022-06-10 21:25:36 +00:00 |
Aaron Huber
|
25af5eef31
|
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
|
2022-06-10 11:21:55 -04:00 |
Aaron Huber
|
9792f760e5
|
Fixed a few typos.
|
2022-06-10 11:21:50 -04:00 |
Atri Rudra
|
880472d7f0
|
Update on Overleaf.
|
2022-06-10 15:20:59 +00:00 |
Atri Rudra
|
8271735896
|
Update on Overleaf.
|
2022-06-10 02:57:35 +00:00 |
Atri Rudra
|
ce39974c49
|
Update on Overleaf.
|
2022-06-09 18:48:34 +00:00 |
Atri Rudra
|
ff97b62569
|
Update on Overleaf.
|
2022-06-08 03:30:23 +00:00 |
Atri Rudra
|
9f6754399d
|
Update on Overleaf.
|
2022-06-08 02:49:16 +00:00 |
Atri Rudra
|
74644cf4c1
|
Update on Overleaf.
|
2022-06-08 02:49:03 +00:00 |
Atri Rudra
|
684c88fd86
|
Update on Overleaf.
|
2022-06-08 02:48:54 +00:00 |
Atri Rudra
|
d3043b7d70
|
Update on Overleaf.
|
2022-06-08 02:48:31 +00:00 |
Atri Rudra
|
bf28d14470
|
Update on Overleaf.
|
2022-06-08 02:48:02 +00:00 |
Aaron Huber
|
d8b870b595
|
Reclaimed a few lines in S.1.
|
2022-06-07 11:45:50 -04:00 |
Aaron Huber
|
5a18732c08
|
Addressing the deterministic database issue.
|
2022-06-07 10:10:19 -04:00 |
Atri Rudra
|
f8fd864a28
|
Update on Overleaf.
|
2022-06-07 08:02:26 +00:00 |
Atri Rudra
|
054c8951da
|
Update on Overleaf.
|
2022-06-06 12:11:48 +00:00 |
Oliver Kennedy
|
71f7c3259f
|
Minor cleaning
|
2022-06-05 13:15:51 -04:00 |
Atri Rudra
|
5cd5940b29
|
Update on Overleaf.
|
2022-06-04 02:54:57 +00:00 |
Aaron Huber
|
62d3856d4c
|
Changed p_{t, \textbf{W}_t} to p_{t, j} for j = W_t.
|
2022-06-03 16:30:29 -04:00 |
Oliver Kennedy
|
09c4cf7e39
|
Smoothing some rough edges in the intro
|
2022-06-03 13:20:56 -04:00 |
Aaron Huber
|
bca52a1af5
|
Misc. changes; change X to U in intro example, adjust appendix for S.3 and S.4 changes, etc.
|
2022-06-03 12:11:54 -04:00 |
Aaron Huber
|
dd3ff9b9bf
|
Merge branch 'master' of https://git.overleaf.com/61d6263016ff472ac9308dea
|
2022-06-03 07:52:51 -04:00 |
Aaron Huber
|
a9c92baad3
|
Fixed glitch with \begin{footnotesize}
|
2022-06-03 07:52:28 -04:00 |
Atri Rudra
|
71ffbf95fa
|
Update on Overleaf.
|
2022-06-02 22:37:38 +00:00 |
Aaron Huber
|
5c517cadc5
|
Fixing references change in merge conflict.
|
2022-06-02 09:45:34 -04:00 |
Aaron Huber
|
763edccf11
|
Fixing merge conflict.
|
2022-06-02 09:43:04 -04:00 |
Atri Rudra
|
f539eaba8e
|
Update on Overleaf.
|
2022-06-02 13:37:51 +00:00 |
Aaron Huber
|
d0efa8b02f
|
Update of References in main.bib
|
2022-06-02 09:37:36 -04:00 |
Aaron Huber
|
5b15b18555
|
Added c to T^* notation; adjustment to footnote 3 for readability.
|
2022-06-01 10:27:43 -04:00 |
Aaron Huber
|
c02c70bb86
|
Migrated back to default spacing for table/caption figures; added macro to adjust if needed.
|
2022-05-31 11:28:15 -04:00 |
Aaron Huber
|
5c75ee728a
|
Decreased length of caption for Lower Bounds table; capitalized the title; adjusted spacing of captions on figures.
|
2022-05-27 09:17:57 -04:00 |
Aaron Huber
|
900820976e
|
Moved def poly degree as well as cut a few other extraneous sentences.
|
2022-05-26 10:13:59 -04:00 |
Aaron Huber
|
a189cdcb64
|
Changed wording for fig. 1 (lineage polynomial semantics) caption.
|
2022-05-24 11:02:30 -04:00 |
Boris Glavic
|
1aa796641a
|
updates
|
2022-05-21 16:36:14 +02:00 |
Boris Glavic
|
347cca2f7d
|
shorter
|
2022-05-21 14:50:36 +02:00 |
Aaron Huber
|
18f64450b8
|
Reworked example after Problem 1.6 to be simpler.
|
2022-05-19 09:10:18 -04:00 |
Oliver Kennedy
|
212b915809
|
Trimming. Down by ~1 column so far.
|
2022-05-18 17:51:12 -04:00 |
Aaron Huber
|
37bab00894
|
Small minor changes.
|
2022-05-17 09:29:45 -04:00 |
Atri Rudra
|
00dc258028
|
Update on Overleaf.
|
2022-05-05 13:30:52 +00:00 |
Aaron Huber
|
813a7f73c0
|
Changes to Conjecture 3.2.
|
2022-05-02 08:10:58 -04:00 |
Aaron Huber
|
78c73d91d9
|
Revision of Prop 2.4 and proof, Lemma 2.6 proof, etc.
|
2022-04-28 10:58:27 -04:00 |
Aaron Huber
|
cac0a7921b
|
Finished cleaning pass on Appendix A.
|
2022-04-20 09:45:11 -04:00 |
Aaron Huber
|
5ba5085f4b
|
Rewrote the 'Concurrent Work' paragraph, including a citation, and other aspects of Grohe's work, comparing/contrasting with ours.
|
2022-04-19 08:18:07 -04:00 |
Aaron Huber
|
aabae13b75
|
Added proof to Prop 2.4; added text speaking of Grohe's work; started cleaning the appendix.
|
2022-04-19 07:53:10 -04:00 |
Aaron Huber
|
5d07446dd4
|
Issue with dangling pointer for pdbench reference (see experiments.tex line 8
|
2022-04-04 09:48:07 -04:00 |
Aaron Huber
|
0b72469ef7
|
Small changes to fix dangling refs for arXiv.
|
2022-03-30 07:53:40 -04:00 |
Aaron Huber
|
0920523d57
|
Almost done fixing layout issues with PODs format.
|
2022-03-15 11:21:11 -04:00 |
Aaron Huber
|
a9aea5ecc3
|
Rearranged some figure/table.
|
2022-03-14 16:29:49 -04:00 |
Atri Rudra
|
6182caf8c2
|
Update on Overleaf.
|
2022-03-09 02:57:26 +00:00 |
Aaron Huber
|
580e6876fb
|
Fixed lemma 4.8 proof per @atri 030722 comments.
|
2022-03-08 20:26:18 -05:00 |