computation.tex

% ----------------------------------------------------------------------
\lecture{Computational aspects}{computation}
% ----------------------------------------------------------------------
\part{Computational aspects}
% ----------------------------------------------------------------------
\section{Consequence operator}
% ------------------------------
\input{computation/tp}
% ------------------------------
\section{Solving from first principles}
% ------------------------------
\input{computation/smodels}
% ----------------------------------------------------------------------
\section{Complexity}
% ------------------------------
\input{computation/complexity}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{computation/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: