/
encoding.tex
30 lines (30 loc) · 1.05 KB
/
encoding.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
% ----------------------------------------------------------------------
\lecture{Advanced modeling}{encoding}
% ----------------------------------------------------------------------
\part{Advanced modeling}
% ----------------------------------------------------------------------
\input{encoding/declarativity}
% ----------------------------------------------------------------------
\section{Queens reloaded}
% ------------------------------
\input{modeling/queens-problem}
\input{encoding/queens}
%
% \input{encoding/methodology}
% \input{hitori}
% ----------------------------------------------------------------------
\section{\dots}
% ----------------------------------------------------------------------
\section{Hints}
% ------------------------------
\input{encoding/hints}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{encoding/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: