\relax 
\@writefile{toc}{\contentsline {title}{ Specker Challenge Game: Mechanism Design for Algorithm Innovation and Evaluation}{1}}
\@writefile{toc}{\authcount {1}}
\@writefile{toc}{\contentsline {author}{ Karl Lieberherr and Ahmed Abdelmeged and Bryan Chadwick}{1}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Mechanism Design}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Axioms}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Mathematical Contests in the Renaissance}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Contest about solving cubic equations}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Computational Contests in the 21. Century}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Specker Challenge Game\ Contest Design}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Communication Design}{5}}
\@writefile{toc}{\contentsline {subsubsection}{Sockets}{6}}
\@writefile{toc}{\contentsline {subsubsection}{Protocols}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}SCG Contest Services Inc. (SCG CSI)}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {4}The Specker Challenge Game\ (SCG)}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Definition}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Parameterization}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Two Player Game Rules: explained with Chess analogy}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Game Rules}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Security Concern}{8}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Specialization}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1}For CNF}{9}}
\@writefile{toc}{\contentsline {subsubsection}{For CNF, using beliefs}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2}For CSP}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.3}Simpler Versions for Classic SCG CSP}{10}}
\@writefile{toc}{\contentsline {subsubsection}{Classic SCG CSP T Ball}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Classic SCG CSP Slow Pitch Softball}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Classic SCG CSP Fast Pitch Softball}{11}}
\@writefile{toc}{\contentsline {subsubsection}{SCG Base Ball}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4}Version for Optimization}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Pseudo Boolean CSP}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Issues with the parameterization}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Reflection on the course}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {9}Implementation}{13}}
\@writefile{toc}{\contentsline {section}{\numberline {10}Appendix: Implementation Notes}{13}}