\documentclass{llncs}
\pagestyle{plain}
\usepackage[numbers, sectionbib]{natbib}
\usepackage[utf8]{inputenc}
\usepackage{amsmath,amsfonts}
\usepackage{algorithm, algpseudocode}
\usepackage{bbm,color,verbatim}
\input{definitions}
\usepackage[pagebackref=true,breaklinks=true,colorlinks=true,pagebackref=false]{hyperref}
\title{Budget Feasible Mechanisms \\for Experimental Design}
\author{
    Thibaut Horel\inst{1}
    \and
    Stratis Ioannidis\inst{2}
    \and
    S. Muthukrishnan\inst{3}
}
\institute{École Normale Supérieure, \email{thibaut.horel@normalesup.org}
    \and
    Technicolor, \email{stratis.ioannidis@technicolor.com}
    \and
    Rutgers University, \email{muthu@cs.rutgers.edu}
}
\begin{document}
\maketitle
\begin{abstract}
\input{abstract}
\end{abstract}

\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{splncsnat}
\begin{footnotesize}
\bibliography{notes}
\end{footnotesize}
\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}