\documentclass{acm_proc_article-sp}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amsfonts}
\usepackage{algorithm}
\usepackage{algpseudocode,bbm,color,verbatim}
\input{definitions}
\title{Budgeted Auctions for Experiment Design}
\begin{document}

\maketitle

\section{Intro}
\input{intro}

\section{Problem formulation}
\input{problem}
\section{Main result}
\input{main}
\section{General setup}
\input{general}
\section{Conclusion}
\input{conclusion}
\end{document}
