\input zb-basic
\input zb-ioport
\iteman{io-port 70284154}
\itemau{Collette, S\'ebastien; Raskin, Jean-Fran\c{c}ois; Servais, Fr\'ed\'eric}
\itemti{On the symbolic computation of the hardest configurations of the RUSH HOUR game}
\itemso{Computers and Games, 220-233 (2006).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-75538-8\_20}
\end