Best Paper Award at the 6th Symposium on Combinatorial Search
Torralba, Alvaro (Recipient)
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