 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
|
900820976e
|
Moved def poly degree as well as cut a few other extraneous sentences.
|
2022-05-26 10:13:59 -04:00 |
|
Aaron Huber
|
37bab00894
|
Small minor changes.
|
2022-05-17 09:29:45 -04:00 |
|
Aaron Huber
|
3511a18e54
|
Fixes to Appendix D.
|
2022-05-13 13:45:24 -04:00 |
|
Aaron Huber
|
dbb14420db
|
Minor tweaks on appendix D.
|
2022-05-11 10:10:51 -04:00 |
|
Aaron Huber
|
ef0bc79ec8
|
Fixes based on 042822 discussion.
|
2022-05-02 11:17:01 -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
|
1ca2c00cd0
|
Finished cleaning App C; started App D.
|
2022-04-27 10:45:00 -04:00 |
|
Aaron Huber
|
614ef89b4d
|
Cleaning Appendix A.
|
2022-04-19 10:38:52 -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
|
580e6876fb
|
Fixed lemma 4.8 proof per @atri 030722 comments.
|
2022-03-08 20:26:18 -05:00 |
 Oliver Kennedy
|
d24000557e
|
Oliver's pass
|
2021-09-21 00:07:45 -04:00 |
 Atri Rudra
|
f694083edb
|
Done with pass on App G
|
2021-09-20 23:37:06 -04:00 |
|
Atri Rudra
|
1d3a255539
|
Done with pass on App A
|
2021-09-20 23:27:03 -04:00 |
|
Oliver Kennedy
|
70069dad76
|
karp-luby discussion
|
2021-09-20 21:58:02 -04:00 |
|
Oliver Kennedy
|
fb5b53aa89
|
karp-luby discussion
|
2021-09-20 21:56:06 -04:00 |
|
Oliver Kennedy
|
feaacbd535
|
karp-luby discussion
|
2021-09-20 21:55:03 -04:00 |
|
Oliver Kennedy
|
67b3f750be
|
apps
|
2021-09-20 21:23:39 -04:00 |
|
Aaron Huber
|
9141644476
|
Finished pass on Appendix D, F, G.
|
2021-09-20 16:44:12 -04:00 |
Boris Glavic
|
626e86536f
|
new app
|
2021-09-20 08:24:56 -05:00 |
|
Oliver Kennedy
|
aade883622
|
minor tweaks
|
2021-09-19 11:27:32 -04:00 |
|
Atri Rudra
|
5f12c56cf7
|
Done with pass on App D
|
2021-09-18 23:39:12 -04:00 |
|
Oliver Kennedy
|
0e26c8d736
|
Bounding TLC
|
2021-09-18 21:09:17 -04:00 |
|
Atri Rudra
|
6bc632e503
|
Done with pass on App D
|
2021-09-18 16:12:12 -04:00 |
|
Oliver Kennedy
|
3d67dbbb1b
|
bounding depth
|
2021-09-18 12:50:05 -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 |
|
Oliver Kennedy
|
bd13ad5569
|
An algorithm for LC
|
2021-09-18 00:46:11 -04:00 |
|
Oliver Kennedy
|
c379f14af6
|
a few fixes
|
2021-09-17 22:17:30 -04:00 |
|
Aaron Huber
|
17b1afb954
|
Finished incorporating @atri write up changes to S2, S4, S5
|
2021-09-15 12:18:44 -04:00 |
|
Oliver Kennedy
|
bfbf92b0cb
|
Appendix D cleanup, and starting to think about the intro
|
2021-09-08 22:32:30 -04:00 |
|
Aaron Huber
|
7b6d6dc37e
|
More changes per @atri 081021 suggestions.
|
2021-08-16 13:37:15 -04:00 |
|
Boris Glavic
|
dd62648583
|
cref
|
2021-04-10 08:48:26 -05:00 |
|
Oliver Kennedy
|
6d2a684189
|
Minor adjustments
|
2021-04-10 00:19:16 -04:00 |
|
Oliver Kennedy
|
58b70f0fcf
|
Cleaning up appendix
|
2021-04-09 22:00:34 -04:00 |
|
Oliver Kennedy
|
b1792a70ba
|
Simplifying discussion of N[X]-DBs
|
2021-04-09 00:07:33 -04:00 |
|
Aaron Huber
|
c57cf0e973
|
Trimmed Section 5 (Aaron) 1st pass.
|
2021-04-08 15:02:40 -04:00 |
|
Aaron Huber
|
14eed48e17
|
Finished 1st pass on trimming Sec 4 (Aaron)
|
2021-04-08 11:29:37 -04:00 |
|
Aaron Huber
|
75b9e6a020
|
Restructured file system for appendix.
|
2021-04-06 11:43:34 -04:00 |