1
\section{Finishing Cool
}
4 \begin{frame
}{Where we left (TODO)
}
6 \item actually implementing deferral tracking
7 \item deciding when some deferral can be considered ``finished''
9 \item finding ``right'' heuristic for when to try and close the tableaux
10 \item fixing all the bugs
14 \begin{frame
}{Extra nodes
}
16 \item Different set of deferrals create different Nodes
17 \item Exponential increase in Nodes
22 TODO: graphviz der $p\#q\#$ formel
25 \begin{frame
}{Propagation
}
27 \item Cool works in rounds
29 \item One further solution from each Core (propositional)
30 \item All possible modal steps
32 \item Check for satisfiability after \#
{}OpenStates rounds
\pause
35 \item Creating cycles forces earlier propagation
36 \item Use \#
{}OpenStates steps, not rounds
42 TODO: auswertungen mit ``jedes'' mal propagieren, current magic, nie propagieren
47 %%% TeX-master: "../vortrag"
48 %%% TeX-engine: luatex