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

Update on Overleaf.

master
Atri Rudra 2022-06-04 18:08:54 +00:00 committed by node
parent 157c8025d4
commit 8d4467f7c4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
prob-def.tex
View File

@ -104,7 +104,7 @@ can be ignored until~\Cref{sec:algo}.%One can think of $\circuitset{\polyX}$ as
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\medskip
\noindent We are now ready to formally state the final version of \Cref{prob:intro-stmt}.%our \textbf{main problem}.
We are now ready to formally state the final version of \Cref{prob:intro-stmt}.%our \textbf{main problem}.