1. Department of Computing Science, University of Alberta, Edmonton, Alberta T6G 2E8, Canada.
2. Department of Applied Mathematics, Charles University, Prague, Czech Republic.
3. Department of Computer Science, Faculty of Electrical Engineering, Czech Technical University, Prague, Czech Republic.