Priser
- 1 resultater
Søgeresultater
-
2013
Best Paper Award at the 6th Symposium on Combinatorial Search
Torralba, Alvaro (Modtager), 2013
Pris: Konferencepriser
Constrained symbolic search: On mutexes, BDD minimization and more
Álvaro Torralba, Vidal Alcázar
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
18
Citationer
(Scopus)