\documentclass[prodmode,acmteac]{acmsmall}
%\usepackage[numbers, sectionbib]{natbib}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amsfonts}
\usepackage{algorithm, algpseudocode}
\usepackage{bbm,color,verbatim, microtype}
\input{definitions}
\usepackage[pagebackref=false,breaklinks=true]{hyperref}
\title{Budget Feasible Mechanisms for Experimental Design}
\author{
    Thibaut Horel\affil{Harvard University}
    Stratis Ioannidis\affil{Northeastern University}
    S. Muthukrishnan\affil{Rutgers University}
}
\begin{document}
\begin{abstract}
\input{abstract}
\end{abstract}
\maketitle

\section{Introduction}
\input{intro}
\section{Preliminaries}\label{sec:peel}
\input{problem}
\section{Approximation Results}\label{sec:approximation}
\input{approximation}
\section{Mechanism for \SEDP{}}\label{sec:mechanism}
\input{main}
\section{Conclusions}\label{sec:concl}
\input{conclusion}
\section*{Acknowledgments}
\input{ack}
\bibliographystyle{ACM-Reference-Format-Journals}
\bibliography{notes}
\appendix
\input{appendix}
\section{Extensions}\label{sec:ext}
\input{general}
\section{Non-Truthfulness of the Maximum Operator}\label{sec:non-monotonicity}
\input{counterexample}


\end{document}