\documentclass{acm_proc_article-sp}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amsfonts}
\usepackage{algorithm}
\usepackage{algpseudocode,bbm,color,verbatim}
\input{definitions}
\title{Budget Feasible Mechanisms for Experimental Design}

%Remove permission block empty space
\makeatletter
\let\@copyrightspace\relax
\makeatother

\begin{document}

\maketitle
\begin{abstract}
\input{abstract}
\end{abstract}

\section{Introduction}
\input{intro}

\section{Preliminaries}
\input{problem}
\section{Mechanism for \EDP{}}
\input{main}
\section{Extension to Other Problems}
\input{general}
\section{Conclusion}
\input{conclusion}

\bibliographystyle{abbrv}
\bibliography{notes}
\end{document}