Zobrazeno 1 - 10
of 149
pro vyhledávání: '"Catanzaro, B"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
We present Graph-$Q$-SAT, a branching heuristic for a Boolean SAT solver trained with value-based reinforcement learning (RL) using Graph Neural Networks for function approximation. Solvers using Graph-$Q$-SAT are complete SAT solvers that either pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61d9a1f47fb272a8eee1e556d908f580
Publikováno v:
Cimoli, A.C. (ed.), Approdi: Musei delle migrazioni in Europa, 237-244. Bologna : Clueb
STARTPAGE=237;ENDPAGE=244;TITLE=Cimoli, A.C. (ed.), Approdi: Musei delle migrazioni in Europa
STARTPAGE=237;ENDPAGE=244;TITLE=Cimoli, A.C. (ed.), Approdi: Musei delle migrazioni in Europa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::ef8c2ee18af2c868305114515890a7f0
http://hdl.handle.net/2066/193808
http://hdl.handle.net/2066/193808
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Asanovic, K, Bodik, R, Catanzaro, B, Gebis, J, Husbands, P, Keutzer, K, Patterson, D, Plishker, W, Shalf, J, Williams, SW
Publikováno v:
Asanovic, K; Bodik, R; Catanzaro, B; Gebis, J; Husbands, P; Keutzer, K; et al.(2006). The Landscape of Parallel Computing Research: A View from Berkeley. Lawrence Berkeley National Laboratory: Lawrence Berkeley National Laboratory. Retrieved from: http://www.escholarship.org/uc/item/1z50m2xt
The recent switch to parallel microprocessors is a milestone in the history of computing. Industry has laid out a roadmap for multicore designs that preserves the programming paradigm of the past via binary compatibility and cache coherence. Conventi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______325::4454f3584088922ca61483a98d5d6dec
http://www.escholarship.org/uc/item/1z50m2xt
http://www.escholarship.org/uc/item/1z50m2xt