\documentclass[11pt,letterpaper]{article}
\usepackage[margin=1in]{geometry}
\usepackage[numbers]{natbib}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amsfonts}
\usepackage{algorithm, algpseudocode}
\usepackage{bbm,color,verbatim}
\usepackage{amsthm}
\input{definitions}
\usepackage[pagebackref=true,breaklinks=true,colorlinks=true]{hyperref}
\title{Budget Feasible Mechanisms for Experimental Design}
\author{
    Thibaut Horel\\École Normale Supérieure\\\texttt{thibaut.horel@normalesup.org}
    \and
    Stratis Ioannidis\\Technicolor\\\texttt{stratis.ioannidis@technicolor.com}
    \and
    S. Muthukrishnan\\Rutgers University--Microsoft Research\\\texttt{muthu@cs.rutgers.edu}
}

\begin{document}
\maketitle
\thispagestyle{empty}
\begin{abstract}
\input{abstract}
\end{abstract}

\clearpage
\setcounter{page}{1}
\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{Conclusion}
\input{conclusion}
\bibliographystyle{abbrvnat}
\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}