From 967f83854c5bff5dd7aeeca3a4efc7a68af36076 Mon Sep 17 00:00:00 2001 From: Christoph Egger Date: Mon, 25 Apr 2016 16:09:20 +0200 Subject: [PATCH] unify on COOL spelling --- chapters/finishingcool.tex | 4 ++-- chapters/optimizations.tex | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/chapters/finishingcool.tex b/chapters/finishingcool.tex index a90f7b8..1b747e9 100644 --- a/chapters/finishingcool.tex +++ b/chapters/finishingcool.tex @@ -1,4 +1,4 @@ -\section{Finishing Cool} +\section{Finishing COOL} \subsection*{Dummy} \begin{frame}{Where we left (TODO)} @@ -24,7 +24,7 @@ \begin{frame}{Propagation} \begin{itemize} - \item Cool works in rounds + \item COOL works in rounds \begin{itemize} \item One further solution from each Core (propositional) \item All possible modal steps diff --git a/chapters/optimizations.tex b/chapters/optimizations.tex index 9877634..6517e64 100644 --- a/chapters/optimizations.tex +++ b/chapters/optimizations.tex @@ -16,7 +16,7 @@ \item Consider $\heartsuit\heartsuit\heartsuit{}p \wedge \overline{\heartsuit}\overline{\heartsuit}\overline{\heartsuit}¬p$ \item Same as $\heartsuit\heartsuit\heartsuit{}p \wedge ¬\heartsuit\heartsuit\heartsuit{}p$ and thus obviously unsatisfiable - \item Cool normalizes formulas to make best use of Global Caching + \item COOL normalizes formulas to make best use of Global Caching \end{itemize} \end{frame} @@ -35,7 +35,7 @@ TODO: ? \begin{itemize} \item Global Caching better with more same formulas - \item Preprocessing in Cool currently does not consider + \item Preprocessing in COOL currently does not consider (propositional) Comutativity, Associativity or Distributivity laws \end{itemize} \end{frame} -- 2.39.2