ODIn
/
paper-BagRelationalPDBsAreHard
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Unpushed changes including acknowledgements

master
Aaron Huber 2021-04-10 09:41:59 -04:00
parent 6d2a684189
commit 5875e1f2ed
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
main.tex
View File

@ -19,7 +19,7 @@
\usepackage[normalem]{ulem}
\usepackage{subcaption}
\usepackage{booktabs}
\usepackage{todonotes}
\usepackage[disable]{todonotes}
\usepackage{graphicx}
\usepackage{listings}
%%%%%%%%%% SQL + proveannce listing settings
@ -71,8 +71,9 @@ sensitive=true
\authorrunning{S. Feng, B. Glavic, A. Huber, O. Kennedy, A. Rudra}
\Copyright{Aaron Huber, Oliver Kennedy, Atri Rudra, Su Feng, Boris Glavic}
\ccsdesc[100]{\textcolor{red}{Replace ccsdesc macro with valid one}}
\ccsdesc{Information systems~Incomplete data}
\keywords{PDB, bags, polynomial, boolean formula, etc.}
\acknowledgements{We thank Virginia Williams for showing us \cref{eq:3p-3tri}, which greatly simplified our earlier proof of Lemma 3.8, and for graciously allowing us to use it.}
\EventEditors{John Q. Open and Joan R. Access}
\EventNoEds{2}