LAURIA, MASSIMO
 Distribuzione geografica
Continente #
NA - Nord America 280
EU - Europa 97
AS - Asia 19
AF - Africa 4
SA - Sud America 2
Totale 402
Nazione #
US - Stati Uniti d'America 276
IT - Italia 69
IE - Irlanda 7
IN - India 6
CA - Canada 4
GB - Regno Unito 4
ZA - Sudafrica 4
CN - Cina 3
DE - Germania 3
FR - Francia 3
IR - Iran 3
OM - Oman 3
CZ - Repubblica Ceca 2
ES - Italia 2
HK - Hong Kong 2
RU - Federazione Russa 2
BR - Brasile 1
CL - Cile 1
GR - Grecia 1
IL - Israele 1
LT - Lituania 1
LV - Lettonia 1
NL - Olanda 1
RO - Romania 1
SG - Singapore 1
Totale 402
Città #
Houston 40
Rome 34
Fairfield 29
Ann Arbor 23
Seattle 19
Santa Cruz 18
Ashburn 17
Albano Laziale 15
Woodbridge 14
Buffalo 8
Cambridge 8
Las Vegas 8
Dublin 7
Wilmington 7
Bengaluru 6
Clearwater 6
Muizenberg 4
Andover 3
Des Moines 3
Nettuno 3
Boulder 2
Chicago 2
Henderson 2
Lake Forest 2
Los Angeles 2
Milan 2
Mountain View 2
New York 2
Ottawa 2
Palermo 2
Phoenix 2
Provo 2
Saint Petersburg 2
San Diego 2
Toronto 2
Alfara 1
Atlanta 1
Barcelona 1
Boardman 1
Brooklyn 1
Chandler 1
Costigliole Saluzzo 1
Dallas 1
Dulles 1
Frankfurt Am Main 1
Gaeta 1
Hangzhou 1
Kansas City 1
Kashan 1
Kish 1
Parsippany 1
Petah Tikva 1
Pistoia 1
Redcar 1
San Jose 1
Santa Clara 1
Scranton 1
Siena 1
Stockton 1
Sunnyvale 1
Terracina 1
Timisoara 1
Wuhan 1
Totale 330
Nome #
On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies, file e3835315-6216-15e8-e053-a505fe0a3de9 143
Paris-Harrington tautologies, file e3835325-d8f8-15e8-e053-a505fe0a3de9 126
Space complexity in polynomial calculus, file e3835316-cc8b-15e8-e053-a505fe0a3de9 111
From small space to small width in resolution, file e3835320-0d62-15e8-e053-a505fe0a3de9 5
Parameterized complexity of DPLL search procedures, file e3835312-1411-15e8-e053-a505fe0a3de9 4
The complexity of proving that a graph is Ramsey, file e383531e-31d0-15e8-e053-a505fe0a3de9 4
null, file e383531e-6091-15e8-e053-a505fe0a3de9 3
Algorithm analysis through proof complexity, file e383531f-e30e-15e8-e053-a505fe0a3de9 3
Circular (Yet Sound) Proofs, file e3835325-b98a-15e8-e053-a505fe0a3de9 3
null, file e383531a-5983-15e8-e053-a505fe0a3de9 2
A rank lower bound for cutting Planes Proofs of Ramsey's Theorem, file e383531e-0070-15e8-e053-a505fe0a3de9 2
Towards an understanding of polynomial calculus: New separations and lower bounds (extended abstract), file e383531e-6e05-15e8-e053-a505fe0a3de9 2
Algorithm analysis through proof complexity, file e383531f-e30f-15e8-e053-a505fe0a3de9 2
The complexity of proving that a graph is Ramsey, file e383532b-445c-15e8-e053-a505fe0a3de9 2
Verification and generation of unrefinable partitions, file 009a7fc2-ac1a-4ef6-ac5e-9a309050f2c6 1
Circular (Yet Sound) Proofs in Propositional Logic, file 03f2c554-93cc-481a-a37c-a22813673faf 1
On the maximal part in unrefinable partitions of triangular numbers, file 81f30bc3-133b-4561-a70d-ed7a97c623a9 1
null, file e383531a-5ada-15e8-e053-a505fe0a3de9 1
Tight Size-Degree Bounds for Sums-of-Squares Proofs, file e383531e-0066-15e8-e053-a505fe0a3de9 1
Narrow proofs may be maximally long, file e383531e-006f-15e8-e053-a505fe0a3de9 1
Towards an understanding of polynomial calculus: New separations and lower bounds (extended abstract), file e383531e-0095-15e8-e053-a505fe0a3de9 1
Towards an understanding of polynomial calculus: New separations and lower bounds (extended abstract), file e383531e-02bc-15e8-e053-a505fe0a3de9 1
A note about k-DNF resolution, file e383531e-1065-15e8-e053-a505fe0a3de9 1
On semantic cutting planes with very small coefficients, file e383531e-31c4-15e8-e053-a505fe0a3de9 1
Cliques enumeration and tree-like resolution proofs, file e3835320-0d61-15e8-e053-a505fe0a3de9 1
Upper bounds on positional Paris–Harrington games, file e383532b-2185-15e8-e053-a505fe0a3de9 1
Space complexity in polynomial calculus, file e383532b-46d6-15e8-e053-a505fe0a3de9 1
Totale 425
Categoria #
all - tutte 590
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 590


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201961 0 0 0 4 3 0 0 20 2 7 14 11
2019/202063 9 5 3 4 7 3 5 7 6 4 6 4
2020/202178 6 2 4 2 3 5 3 6 8 24 5 10
2021/2022138 6 6 14 30 19 2 6 6 7 9 28 5
2022/202376 6 8 17 12 5 7 11 0 4 2 4 0
2023/20248 4 2 2 0 0 0 0 0 0 0 0 0
Totale 425