Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
commit
91df6a3e5e
5
main.tex
5
main.tex
|
@ -19,7 +19,7 @@
|
|||
\usepackage[normalem]{ulem}
|
||||
\usepackage{subcaption}
|
||||
\usepackage{booktabs}
|
||||
\usepackage{todonotes}
|
||||
\usepackage[disable]{todonotes}
|
||||
\usepackage{graphicx}
|
||||
\usepackage{listings}
|
||||
%%%%%%%%%% SQL + proveannce listing settings
|
||||
|
@ -83,8 +83,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}
|
||||
|
|
Loading…
Reference in New Issue