-
Notifications
You must be signed in to change notification settings - Fork 9
/
tsolving.tex
48 lines (48 loc) · 1.95 KB
/
tsolving.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
% ----------------------------------------------------------------------
\lecture{Theory solving}{tsolving}
% ----------------------------------------------------------------------
\part{Theory solving}
% ----------------------------------------------------------------------
\input{theory-solving/motivation}
\input{theory-solving/tsolving-process}
% ----------------------------------------------------------------------
\section{Theory language}
% ----------------------------------------------------------------------
\input{theory-solving/tsolving-process-grounding}
\input{theory-solving/grammar-linear-constraints}
\input{theory-solving/send-more-money-problem}
% \input{theory-solving/send-more-money-simple}
\input{theory-solving/send-more-money-complex}
% ----------------------------------------------------------------------
\section{Intermediate format}
% ------------------------------
\input{theory-solving/aspif}
% ----------------------------------------------------------------------
\section{Theory propagation}
% ----------------------------------------------------------------------
\input{theory-solving/tsolving-process-solving}
\input{systems/architecture-one}
\input{theory-solving/tpropagation}
% ----------------------------------------------------------------------
\section{Exemplars}
% ----------------------------------------------------------------------
\subsection{Acyclicity checking}
% ------------------------------
\input{acyclicity}
% ----------------------------------------------------------------------
\subsection{Constraint answer set programming}
% ------------------------------
\input{csp}
\input{casp}
% \input{amt-systems}
\input{casp-systems}
% ----------------------------------------------------------------------
\section{Summary}
% ------------------------------
\input{theory-solving/summary}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "main"
%%% End: