Canadian AI-2006 Best Paper Award

Best Paper Award - On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT or, how the behaviour and performance of stochastic local search algorithms (one of the best known and most important classes of computational methods for solving a wide range of difficult computional problems), depend on random decisions and properties of the pseudo-random number generators used for implementing them.