Best Paper Award at the 6th Symposium on Combinatorial Search

Pris: Konferencepriser

Beskrivelse

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