\relax 
\@writefile{toc}{\contentsline {title}{ Specker Challenge Game: Requirements \& Design\unskip \ \ignorespaces  From Generic to CNF/CSP Versions}{1}}
\@writefile{toc}{\authcount {1}}
\@writefile{toc}{\contentsline {author}{ Karl Lieberherr and Ahmed Abdelmeged and Bryan Chadwick}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Mathematical Contests in the Renaissance}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Contest about solving cubic equations}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Computational Contests in the 21. Century}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Specker Challenge Game\ Contest Design}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Communication Design}{4}}
\@writefile{toc}{\contentsline {subsubsection}{Sockets}{4}}
\@writefile{toc}{\contentsline {subsubsection}{Protocols}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}SCG Contest Services Inc. (SCG CSI)}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {3}The Specker Challenge Game\ (SCG)}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Definition}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Parameterization}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Two Player Game Rules: explained with Chess analogy}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Game Rules}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}Security Concern}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Specialization}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}For CNF}{7}}
\@writefile{toc}{\contentsline {subsubsection}{For CNF, using beliefs}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}For CSP}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Simpler Versions for Classic SCG CSP}{8}}
\@writefile{toc}{\contentsline {subsubsection}{Classic SCG CSP T Ball}{9}}
\@writefile{toc}{\contentsline {subsubsection}{Classic SCG CSP Slow Pitch Softball}{9}}
\@writefile{toc}{\contentsline {subsubsection}{Classic SCG CSP Fast Pitch Softball}{9}}
\@writefile{toc}{\contentsline {subsubsection}{SCG Base Ball}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Version for Optimization}{9}}
\@writefile{toc}{\contentsline {subsubsection}{Pseudo Boolean CSP}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Issues with the parameterization}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Reflection on the course}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Implementation}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {9}Appendix: Implementation Notes}{11}}