IRIS
GIUNCHIGLIA, ENRICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 11.808
NA - Nord America 1.159
AS - Asia 1.053
Continente sconosciuto - Info sul continente non disponibili 108
SA - Sud America 103
AF - Africa 18
OC - Oceania 7
Totale 14.256
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.622
US - Stati Uniti d'America 1.067
SG - Singapore 451
CN - Cina 267
VN - Vietnam 161
FR - Francia 92
BD - Bangladesh 66
BR - Brasile 63
CA - Canada 39
HK - Hong Kong 30
GB - Regno Unito 18
DE - Germania 15
JP - Giappone 15
MX - Messico 15
CH - Svizzera 13
AR - Argentina 12
CR - Costa Rica 10
EC - Ecuador 10
IN - India 10
ID - Indonesia 9
JM - Giamaica 8
NL - Olanda 8
AU - Australia 7
IQ - Iraq 7
ES - Italia 6
FI - Finlandia 6
HN - Honduras 5
NI - Nicaragua 5
PL - Polonia 5
VE - Venezuela 5
CL - Cile 4
JO - Giordania 4
KE - Kenya 4
TW - Taiwan 4
UA - Ucraina 4
CO - Colombia 3
CZ - Repubblica Ceca 3
NP - Nepal 3
PH - Filippine 3
PY - Paraguay 3
TH - Thailandia 3
TR - Turchia 3
BB - Barbados 2
BG - Bulgaria 2
BO - Bolivia 2
DZ - Algeria 2
KG - Kirghizistan 2
KR - Corea 2
LB - Libano 2
LT - Lituania 2
OM - Oman 2
PR - Porto Rico 2
PT - Portogallo 2
SA - Arabia Saudita 2
SE - Svezia 2
SV - El Salvador 2
TN - Tunisia 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
BM - Bermuda 1
BS - Bahamas 1
CI - Costa d'Avorio 1
CY - Cipro 1
EG - Egitto 1
GN - Guinea 1
IE - Irlanda 1
KN - Saint Kitts e Nevis 1
KY - Cayman, isole 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MA - Marocco 1
MU - Mauritius 1
MY - Malesia 1
NE - Niger 1
NG - Nigeria 1
PE - Perù 1
RO - Romania 1
RS - Serbia 1
SC - Seychelles 1
SI - Slovenia 1
UZ - Uzbekistan 1
Totale 14.148
Salva come PNG Salva come JPEG
Città #
Genova 7.444
Genoa 2.511
Rapallo 807
Vado Ligure 722
San Jose 329
Singapore 215
Lauterbourg 80
Ashburn 76
New York 53
Ho Chi Minh City 41
Hanoi 31
Hong Kong 29
Los Angeles 28
Beijing 24
Santa Clara 24
Milan 21
Phoenix 18
Chicago 14
San Francisco 13
Zurich 13
Atlanta 12
Frankfurt am Main 12
Orem 12
Tokyo 12
Bordighera 11
Dallas 11
Rome 11
Da Nang 10
Haiphong 10
Mexico City 10
Toronto 10
Montreal 9
San José 9
Buffalo 8
Miami 8
Tianjin 8
Amsterdam 7
City of London 7
São Paulo 7
Houston 6
Philadelphia 6
Queens 6
Sydney 6
Brooklyn 5
Council Bluffs 5
Helsinki 5
Naples 5
San Pedro Sula 5
Warsaw 5
Amman 4
Baghdad 4
Bernal Oeste 4
Jacksonville 4
Kingston 4
Leander 4
Managua 4
Nairobi 4
Palermo 4
Rio de Janeiro 4
The Dalles 4
Belo Horizonte 3
Boardman 3
Bologna 3
Brasília 3
Calgary 3
Cardiff 3
Charlotte 3
Florence 3
Jakarta 3
Kansas City 3
Kyiv 3
Las Vegas 3
Louisville 3
Madrid 3
Marseille 3
North Bergen 3
North Charleston 3
Palmer 3
Paris 3
Prague 3
Quito 3
Thái Nguyên 3
Turin 3
Anna 2
Bangkok 2
Bay City 2
Bishkek 2
Biên Hòa 2
Bridgetown 2
Buenos Aires 2
Bắc Giang 2
Bến Tre 2
Cagliari 2
Can Tho 2
Chennai 2
Chillicothe 2
Cincinnati 2
Citrus Heights 2
Dammam 2
Dayton 2
Totale 12.878
Salva come PNG Salva come JPEG
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 251
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 232
Automatic Test Generation for Coverage Analysis of ERTMS Software 227
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 224
Backjumping for Quantified Boolean Logic satisfiability 219
Benefits of bounded model checking at an industrial setting 213
Computing All Optimal Solutions in Satisfiability Problems with Preferences 212
Automatic Test Generation for Coverage Analysis Using CBMC 209
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 208
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 208
Automatic Test-Pattern Generation for Grey-Box Programs 207
Watched Data Structures for QBF Solvers 201
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 194
Comparison of knowledge sharing strategies in a parallel QBF solver 192
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 189
Answer Set Programming based on Propositional Satisfiability 185
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 184
QuBE++: An efficient QBF solver 182
MRG: Building Planners for Real World Complex Applications 182
Backjumping for Quantified Boolean Logic Satisfiability 179
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 179
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 178
NuSMV 2: An OpenSource Tool for Symbolic Model Checking 177
Dependent and Independent Variables in Propositional Satisfiability 172
QBF Reasoning on Real-World Instances 172
Quantifier Structure in search based procedures for QBFs 171
Introducing Preferences in Planning as Satisfiability 168
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 165
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 165
Improving Plan Quality in SAT-Based Planning 164
Solving satisfiability problems with preferences 163
Conditional behavior trees: Definition, executability, and applications 163
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 162
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 157
A knowledge Based System for Automatic 3D Scene Generation 157
Embedding complex decision procedures inside an interactive theorem prover 156
Optimal Planning as Constraint Optimization 156
Nonmonotonic causal theories 155
TSAT++: an Open Platform for Satisfiability Modulo Theories 153
Constraints and AI Planning 152
OPTSAT: A Tool for Solving SAT Related Optimization Problems 151
Towards an Efficient Library for SAT: a Manifesto 150
Ideal and Real Belief about Belief 150
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 149
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 149
Evaluating search heuristics and optimization techniques in propositional satisfiability 149
Learning for Quantified Boolean Logic Satisfiability 149
The SAT-based Approach to Separation Logic 149
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 148
An empirical perspective on ten years of QBF solving 148
Monotone Literals and Learning in QBF Reasoning 148
Structured proof procedures 147
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 147
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 147
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 143
Visual Representation of Natural Language Scene Descriptions 142
Translation-based approaches for solving disjunctive temporal problems with preferences 142
Flexible planning by integrating multilevel reasoning 137
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences 136
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 136
SAT-Based Procedures for Temporal Reasoning 132
Proving formulas through reduction to decidable classes 130
Combining approaches for solving satisfiability problems with qualitative preferences 130
SAT-Based Decision Procedures for Classical Modal Logics 129
On the Relation among Answer Set Solvers 129
Parallel QBF Solving with Advanced Knowledge Sharing 128
Quantifier Structure in search based procedures for QBFs 127
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 125
Improving the automatic test generation proces for Coverage Analysis using CBMC 125
“On the integration of biomedical Knowledge bases: problems and solutions” 121
Representing Action: Indeterminacy and Ramifications 119
A generate-and-test approach for computing "optimal" plans in SAT-based planning 119
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 118
Editorial: Nonmonotonic Reasoning 117
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03) 115
Reasoning with Quantified Boolean Formulas 115
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 113
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers 108
Satisfiability in the Year 2005 108
A SAT-based polynomial space algorithm for answer set programming 106
A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments 99
Solving Optimization Problems with DLL 98
SAT-Based Answer Set Programming 96
Planning as Satisfiability with Preferences 94
A simple proof-theoretic characterization of Stable Models 90
Non-Omniscient Belief as Context-Based Resoning 90
Chapter 30. Reasoning with Quantified Boolean Formulas 90
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach. 89
Planning as Quantified Boolean Formula 89
QuBE7.0 87
Symbolic Numeric Planning with Patterns 84
Partially Grounded Planning as Quantified Boolean Formula 76
Nice and Nasty Theory of Mind for Social and Antisocial Robots 70
Optimal Planning Modulo Theories 65
null 65
Nice and Nasty Theory of Mind for Social and Antisocial Robots 50
Optimal Planning with Expressive Action Languages as Constraint Optimization 33
Improvements to SAT-based conformant planning 33
Symbolic pattern planning 31
Introduction to the special issue on quantified CSPs and QBF 28
Totale 14.171
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.952
article - articoli 16.366
book - libri 0
conference - conferenze 25.548
curatela - curatele 338
other - altro 68
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.632
Totale 89.904
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.108 0 0 128 175 33 72 74 260 45 108 55 158
2022/20231.013 119 53 8 126 180 181 3 71 159 3 81 29
2023/2024511 32 83 14 55 25 103 17 29 28 25 41 59
2024/20251.680 54 145 52 79 272 193 153 257 49 67 178 181
2025/20262.979 344 82 224 263 292 298 452 134 264 219 168 239
2026/2027541 314 104 123 0 0 0 0 0 0 0 0 0
Totale 14.256