preamble.tex

\documentclass{sig-alternate-05-2015}

\title{Function approximation in bounded model checking}

\numberofauthors{2}

\author{
\alignauthor
Daniil Stepanov\\
        \affaddr{Saint Petersburg Polytechnic University, Russia}\\
        \email{stepanov0995@gmail.com}
        }