Mann Zoltán Dr.
egyetemi docensVillamosmérnöki és Informatikai Kar
Számítástudományi és Információelméleti Tanszék
konferenciák
témák
kulcsszavak
algoritmus (1) · best-first search (1) · boolean satisfiability (1) · cpu (1) · GPU (1) · heterogeneous processor (1) · minisat (1) · sat (1) · sat-probléma (1) · shared cache (1)Több kulcsszó »
dolgozatok
Összesen 2 dolgozat. Összes dolgozat »