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

Awarded date	2013
Degree of recognition	International

Best Paper Award at the 6th Symposium on Combinatorial Search

Description

Related content

Publications

Constrained symbolic search: On mutexes, BDD minimization and more