Best Paper Award at the 6th Symposium on Combinatorial Search

Prize: Conference prizes

Description

Best Paper Award at the 6th Symposium on Combinatorial Search
(SoCS’13). For the paper Constrained Symbolic Search: On Mutexes, BDD
Minimization and More
Degree of recognitionInternational