IRIS
Spallitta, Giuseppe
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 431
AS - Asia 313
EU - Europa 257
SA - Sud America 55
Continente sconosciuto - Info sul continente non disponibili 32
AF - Africa 10
Totale 1.098
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 417
SG - Singapore 91
IT - Italia 84
VN - Vietnam 66
BR - Brasile 47
CN - Cina 47
RU - Federazione Russa 38
GB - Regno Unito 30
DE - Germania 27
HK - Hong Kong 20
FI - Finlandia 15
KR - Corea 14
AT - Austria 12
JP - Giappone 12
BD - Bangladesh 11
FR - Francia 11
IN - India 11
SE - Svezia 10
ID - Indonesia 7
LV - Lettonia 6
NL - Olanda 6
CA - Canada 5
IL - Israele 5
MX - Messico 5
MY - Malesia 4
PL - Polonia 4
IR - Iran 3
SA - Arabia Saudita 3
TR - Turchia 3
ZA - Sudafrica 3
BG - Bulgaria 2
CH - Svizzera 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
IQ - Iraq 2
LB - Libano 2
LT - Lituania 2
PK - Pakistan 2
PR - Porto Rico 2
TN - Tunisia 2
TW - Taiwan 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
AR - Argentina 1
AZ - Azerbaigian 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CO - Colombia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ES - Italia 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
MA - Marocco 1
MC - Monaco 1
MD - Moldavia 1
PH - Filippine 1
PY - Paraguay 1
RS - Serbia 1
TH - Thailandia 1
UA - Ucraina 1
Totale 1.066
Salva come PNG Salva come JPEG
Città #
Singapore 55
San Jose 50
Ashburn 47
Trento 36
Council Bluffs 22
Ho Chi Minh City 22
Los Angeles 21
Santa Clara 21
Hanoi 16
Moscow 16
Hong Kong 14
Chicago 13
Columbus 13
Dallas 13
Rome 13
Seoul 13
Edinburgh 12
Phoenix 11
The Dalles 9
Buffalo 7
Lund 7
Milan 7
Vienna 7
Beijing 6
Da Nang 6
Guangzhou 6
Haiphong 6
Hefei 6
Lappeenranta 6
Riga 6
São Paulo 6
Houston 5
Linz 5
New York 5
Redondo Beach 5
Turku 5
Washington 5
Elk Grove Village 4
Helsinki 4
Hyderabad 4
Lauterbourg 4
Madison 4
Raleigh 4
Salt Lake City 4
San Francisco 4
Seri Kembangan 4
Tampa 4
Warsaw 4
Braunschweig 3
Brooklyn 3
Böblingen 3
Dundee 3
Gainesville 3
Johannesburg 3
Kasugai 3
Magdeburg 3
Nagoya 3
Omaha 3
Orem 3
Agrolândia 2
Bandung 2
Basra 2
Bengkulu 2
Chotíkov 2
Compiègne 2
Dammam 2
Dulles 2
Düsseldorf 2
Falkenstein 2
Fontaine 2
Frankfurt am Main 2
Guayaquil 2
Hermosillo 2
Hải Dương 2
Jakarta 2
Jena 2
Montevideo 2
Mountain View 2
Munich 2
Nijmegen 2
Palermo 2
Patterson 2
Pittsburgh 2
Ramat Gan 2
Regensburg 2
Schiers 2
Shanghai 2
Shenyang 2
St Andrews 2
Staranzano 2
Syracuse 2
Taipei 2
Taiyuan 2
Tokyo 2
Windsor 2
York 2
Addis Ababa 1
Afragola 1
Americana 1
Amsterdam 1
Totale 678
Salva come PNG Salva come JPEG
Nome #
Efficient and Effective Model Enumeration in SAT and SMT: Investigating Novel Procedures and Applications 290
SMT-based Weighted Model Integration with Structure Awareness 139
On CNF Conversion for Disjoint SAT Enumeration 139
Enhancing SMT-based Weighted Model Integration by structure awareness 138
Effective prime factorization via quantum annealing by modular locally-structured embedding 95
Enumerating Disjoint Partial Models without Blocking Clauses 63
Disjoint Partial Enumeration without Blocking Clauses 57
Canonical Decision Diagrams Modulo Theories 56
Experimenting with D-Wave quantum annealers on prime factorization problems 48
On CNF Conversion for SAT and SMT Enumeration 36
Disjoint projected enumeration for SAT and SMT without blocking clauses 19
d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries 11
Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT 7
Totale 1.098
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.468
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 3.468
Salva come PNG Salva come JPEG


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/2025318 3 6 7 17 2 25 25 42 29 83 39 40
2025/2026556 39 28 49 63 60 37 94 14 34 63 33 42
2026/2027187 37 47 49 54 0 0 0 0 0 0 0 0
Totale 1.098