Spallitta, Giuseppe
 Distribuzione geografica
Continente #
NA - Nord America 39
EU - Europa 25
AS - Asia 14
Totale 78
Nazione #
US - Stati Uniti d'America 39
IT - Italia 17
SG - Singapore 9
FI - Finlandia 3
CN - Cina 2
GB - Regno Unito 2
ID - Indonesia 2
NL - Olanda 2
IN - India 1
RU - Federazione Russa 1
Totale 78
Città #
Santa Clara 17
Trento 10
Columbus 6
Singapore 6
Rome 5
Dallas 4
Lappeenranta 3
New York 3
Edinburgh 2
Jakarta 2
Los Angeles 2
Mountain View 2
Shanghai 2
Kozhikode 1
Lavis 1
Moscow 1
Washington 1
Totale 68
Nome #
SMT-based Weighted Model Integration with Structure Awareness 29
Enumerating Disjoint Partial Models without Blocking Clauses 18
On CNF Conversion for Disjoint SAT Enumeration 14
Enhancing SMT-based Weighted Model Integration by structure awareness 11
Disjoint Partial Enumeration without Blocking Clauses 10
Effective prime factorization via quantum annealing by modular locally-structured embedding 7
Experimenting with D-Wave quantum annealers on prime factorization problems 5
Canonical Decision Diagrams Modulo Theories 3
Totale 97
Categoria #
all - tutte 708
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 708


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/202427 0 1 1 2 0 4 1 9 0 4 5 0
2024/202560 3 6 7 17 2 25 0 0 0 0 0 0
Totale 97