/
modeling.tex
49 lines (49 loc) · 1.74 KB
/
modeling.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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
% ----------------------------------------------------------------------
\lecture{Basic modeling}{modeling}
% ----------------------------------------------------------------------
\part{Basic modeling}
% ----------------------------------------------------------------------
\input{modeling/diagram-modeling}
% ----------------------------------------------------------------------
\section{Elaboration tolerance}
% ------------------------------
\input{modeling/elaboration-uniformity}
% ----------------------------------------------------------------------
\section{ASP workflow}
% ------------------------------
\input{modeling/workflow-elaboration}
% ------------------------------
\input{modeling/workflow-example-coloring}
% ----------------------------------------------------------------------
\section{Methodology}
% ------------------------------
\input{modeling/methodology}
\input{modeling/methodology-coloring}
% ----------------------------------------------------------------------
\section{Case studies}
% ------------------------------
\subsection{Satisfiability testing}
\input{modeling/sat}
% ------------------------------
\subsection{Queens}
\input{modeling/queens-problem}
\input{modeling/queens}
% ------------------------------
\subsection{Traveling salesperson}
\input{modeling/salesperson}
% ------------------------------
\subsection{Reviewer assignment}
\input{modeling/reviewer}
% ------------------------------
\subsection{Planning}
\input{modeling/planning}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{modeling/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: