\newchapter{Gray code}

\leveldown{}

\input{gray_code/SMT/main_EN}
\input{gray_code/MaxSAT/main_EN}

\myheading{Further reading}

\begin{itemize}
\item Martin Gardner -- Knotted Doughnuts and Other Mathematical Entertainments, page 22.

\item Donald Knuth -- \ac{TAOCP}, PRE-FASCICLE 2A\footnote{\url{https://yurichev.com/mirrors/Donald\%20Knuth/TAOCP\%202a\%207.2.1.1/fasc2a.pdf}}.

\item Jörg Arndt -- Matters Computational\footnote{\url{https://www.jjj.de/fxt/fxtbook.pdf}}, 1.16, \textit{Gray code and parity}.
\end{itemize}

\levelup{}