\input zb-basic
\input zb-ioport
\iteman{io-port 71017395}
\itemau{Lynce, In\^es; Silva, Jo\~ao P. Marques}
\itemti{Tuning randomization in backtrack search SAT algorithms}
\itemso{CP, 769 (2002).}
\itemcc{}
\itemut{}
\itemli{}
\end