\section{SAT-Solver}

\newcommand{\dom}{\operatorname{dom}}

\input{dpll/intro}
\input{dpll/evol}
\input{dpll/walk}
\input{dpll/dpll}
\input{dpll/heurist}
\input{dpll/lern}


