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
Degree of recognitionInternational

    Fingerprint