Prizes
- 1 results
Search results
-
2013
Best Paper Award at the 6th Symposium on Combinatorial Search
Torralba, Alvaro (Recipient), 2013
Prize: Conference prizes
Constrained symbolic search: On mutexes, BDD minimization and more
Álvaro Torralba, Vidal Alcázar
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
18
Citations
(Scopus)