Constrained symbolic search: On mutexes, BDD minimization and more

Álvaro Torralba, Vidal Alcázar

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

18 Citationer (Scopus)
OriginalsprogEngelsk
TitelSixth Annual Symposium on Combinatorial Search
Antal sider9
ForlagAAAI Press
Publikationsdato2013
Sider175-183
StatusUdgivet - 2013
Udgivet eksterntJa
Begivenhed6th Annual Symposium on Combinatorial Search, SoCS 2013 - Leavenworth, WA, USA
Varighed: 11 jul. 201313 jul. 2013

Konference

Konference6th Annual Symposium on Combinatorial Search, SoCS 2013
LandUSA
ByLeavenworth, WA
Periode11/07/201313/07/2013

Fingeraftryk Dyk ned i forskningsemnerne om 'Constrained symbolic search: On mutexes, BDD minimization and more'. Sammen danner de et unikt fingeraftryk.

Citationsformater