Masina, Gabriele
 Distribuzione geografica
Continente #
EU - Europa 21
NA - Nord America 18
AS - Asia 7
Totale 46
Nazione #
US - Stati Uniti d'America 18
IT - Italia 15
SG - Singapore 4
GB - Regno Unito 2
ID - Indonesia 2
NL - Olanda 2
FI - Finlandia 1
IN - India 1
RU - Federazione Russa 1
Totale 46
Città #
Trento 9
Santa Clara 8
Rome 5
Columbus 4
Dallas 2
Edinburgh 2
Jakarta 2
Singapore 2
Kozhikode 1
Lappeenranta 1
Lavis 1
Los Angeles 1
Moscow 1
Washington 1
Totale 40
Nome #
SMT-based Weighted Model Integration with Structure Awareness 29
On CNF Conversion for Disjoint SAT Enumeration 14
Enhancing SMT-based Weighted Model Integration by structure awareness 11
Canonical Decision Diagrams Modulo Theories 3
Totale 57
Categoria #
all - tutte 403
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 403


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/202310 0 0 0 0 0 0 1 7 2 0 0 0
2023/202413 0 1 1 0 0 0 1 5 0 3 2 0
2024/202534 1 2 4 10 0 17 0 0 0 0 0 0
Totale 57