Результаты будут использованы в конференции по информатике в ноябре 2010 года