Aaron Huber
|
813a7f73c0
|
Changes to Conjecture 3.2.
|
2022-05-02 08:10:58 -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
|
7ab8af7124
|
Switched appendix to \onecolumn; fixed nits @atri pointed out.
|
2022-03-17 10:23:12 -04:00 |
|
Aaron Huber
|
af69943c00
|
Switched to \document[sigconf]{acmart} for PODs submission.
|
2022-03-14 12:29:22 -04:00 |
|