Spallitta, Giuseppe
 Distribuzione geografica
Continente #
EU - Europa 12
NA - Nord America 4
AS - Asia 3
Totale 19
Nazione #
IT - Italia 10
US - Stati Uniti d'America 4
CN - Cina 2
FI - Finlandia 2
SG - Singapore 1
Totale 19
Città #
Trento 9
New York 3
Lappeenranta 2
Shanghai 2
Lavis 1
Los Angeles 1
Totale 18
Nome #
SMT-based Weighted Model Integration with Structure Awareness 14
Enumerating Disjoint Partial Models without Blocking Clauses 7
On CNF Conversion for Disjoint SAT Enumeration 6
Disjoint Partial Enumeration without Blocking Clauses 4
Effective prime factorization via quantum annealing by modular locally-structured embedding 2
Enhancing SMT-based Weighted Model Integration by structure awareness 1
Totale 34
Categoria #
all - tutte 251
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 251


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/202424 0 1 1 2 0 4 1 9 0 4 2 0
Totale 34