IRIS
GIUNCHIGLIA, ENRICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 11.713
AS - Asia 963
NA - Nord America 415
SA - Sud America 95
AF - Africa 15
OC - Oceania 4
Totale 13.205
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.538
SG - Singapore 444
US - Stati Uniti d'America 382
CN - Cina 260
VN - Vietnam 158
FR - Francia 90
BR - Brasile 61
HK - Hong Kong 28
GB - Regno Unito 17
JP - Giappone 15
CA - Canada 14
DE - Germania 14
CH - Svizzera 13
AR - Argentina 12
MX - Messico 11
ID - Indonesia 8
IN - India 8
NL - Olanda 8
IQ - Iraq 7
FI - Finlandia 6
BD - Bangladesh 5
EC - Ecuador 5
PL - Polonia 5
AU - Australia 4
CL - Cile 4
CR - Costa Rica 4
ES - Italia 4
JO - Giordania 4
TW - Taiwan 4
VE - Venezuela 4
CO - Colombia 3
KE - Kenya 3
NP - Nepal 3
PY - Paraguay 3
TH - Thailandia 3
TR - Turchia 3
UA - Ucraina 3
BG - Bulgaria 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
KG - Kirghizistan 2
KR - Corea 2
LT - Lituania 2
OM - Oman 2
PH - Filippine 2
SA - Arabia Saudita 2
SE - Svezia 2
TN - Tunisia 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BE - Belgio 1
CI - Costa d'Avorio 1
EG - Egitto 1
GN - Guinea 1
HN - Honduras 1
IE - Irlanda 1
KN - Saint Kitts e Nevis 1
LB - Libano 1
LV - Lettonia 1
MA - Marocco 1
NE - Niger 1
NG - Nigeria 1
NI - Nicaragua 1
PE - Perù 1
RO - Romania 1
RS - Serbia 1
SI - Slovenia 1
SV - El Salvador 1
UZ - Uzbekistan 1
Totale 13.205
Salva come PNG Salva come JPEG
Città #
Genova 7.444
Genoa 2.506
Rapallo 807
Vado Ligure 722
Singapore 209
San Jose 154
Lauterbourg 80
Ho Chi Minh City 40
Hanoi 31
New York 29
Hong Kong 27
Ashburn 26
Beijing 17
Zurich 13
Tokyo 12
Bordighera 11
Frankfurt am Main 11
Orem 11
Da Nang 10
Haiphong 10
Los Angeles 10
Tianjin 8
Amsterdam 7
City of London 7
São Paulo 7
Mexico City 6
Milan 6
Toronto 6
Helsinki 5
Montreal 5
Santa Clara 5
Warsaw 5
Amman 4
Atlanta 4
Baghdad 4
Bernal Oeste 4
Buffalo 4
Chicago 4
Miami 4
Rio de Janeiro 4
San Francisco 4
San José 4
The Dalles 4
Belo Horizonte 3
Bologna 3
Brasília 3
Cardiff 3
Jakarta 3
Kyiv 3
Madrid 3
Marseille 3
Nairobi 3
Naples 3
North Charleston 3
Paris 3
Sydney 3
Thái Nguyên 3
Bangkok 2
Bishkek 2
Biên Hòa 2
Buenos Aires 2
Bắc Giang 2
Bến Tre 2
Can Tho 2
Charlotte 2
Chennai 2
Council Bluffs 2
Dammam 2
Denver 2
Guangzhou 2
Guayaquil 2
Istanbul 2
Johannesburg 2
Kaohsiung 2
Macapá 2
Maracaibo 2
Medellín 2
North Bergen 2
Nuremberg 2
Pisa 2
Piscataway 2
Poplar 2
Prague 2
Santiago 2
Stockholm 2
Wuhan 2
Zhengzhou 2
Abidjan 1
Adana 1
Ambato 1
Apodaca 1
Aracaju 1
Asenovgrad 1
Auburn 1
Aurangabad 1
Bab Ezzouar 1
Balsas 1
Basseterre 1
Beauvais 1
Belgrade 1
Totale 12.406
Salva come PNG Salva come JPEG
Nome #
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 244
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 223
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 215
Automatic Test Generation for Coverage Analysis of ERTMS Software 213
Benefits of bounded model checking at an industrial setting 205
Backjumping for Quantified Boolean Logic satisfiability 204
Automatic Test Generation for Coverage Analysis Using CBMC 201
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 199
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 199
Automatic Test-Pattern Generation for Grey-Box Programs 198
Watched Data Structures for QBF Solvers 196
Comparison of knowledge sharing strategies in a parallel QBF solver 186
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 186
Computing All Optimal Solutions in Satisfiability Problems with Preferences 181
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 180
QuBE++: An efficient QBF solver 177
MRG: Building Planners for Real World Complex Applications 177
Answer Set Programming based on Propositional Satisfiability 176
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 175
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 172
NuSMV 2: An OpenSource Tool for Symbolic Model Checking 171
Backjumping for Quantified Boolean Logic Satisfiability 167
Quantifier Structure in search based procedures for QBFs 166
Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows 166
Dependent and Independent Variables in Propositional Satisfiability 165
Introducing Preferences in Planning as Satisfiability 162
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 161
QBF Reasoning on Real-World Instances 160
Improving Plan Quality in SAT-Based Planning 158
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 155
Solving satisfiability problems with preferences 154
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 153
Conditional behavior trees: Definition, executability, and applications 151
Embedding complex decision procedures inside an interactive theorem prover 150
OPTSAT: A Tool for Solving SAT Related Optimization Problems 146
Constraints and AI Planning 145
Nonmonotonic causal theories 145
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 145
Ideal and Real Belief about Belief 145
Optimal Planning as Constraint Optimization 145
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 144
Evaluating search heuristics and optimization techniques in propositional satisfiability 144
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 144
A knowledge Based System for Automatic 3D Scene Generation 144
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing 143
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning 143
TSAT++: an Open Platform for Satisfiability Modulo Theories 143
Structured proof procedures 139
Monotone Literals and Learning in QBF Reasoning 139
The SAT-based Approach to Separation Logic 139
Towards an Efficient Library for SAT: a Manifesto 138
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 138
Learning for Quantified Boolean Logic Satisfiability 137
Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting 136
An empirical perspective on ten years of QBF solving 133
Visual Representation of Natural Language Scene Descriptions 133
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences 130
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 130
SAT-Based Procedures for Temporal Reasoning 128
Flexible planning by integrating multilevel reasoning 127
Combining approaches for solving satisfiability problems with qualitative preferences 124
Parallel QBF Solving with Advanced Knowledge Sharing 124
On the Relation among Answer Set Solvers 123
Translation-based approaches for solving disjunctive temporal problems with preferences 123
SAT-Based Decision Procedures for Classical Modal Logics 121
Proving formulas through reduction to decidable classes 121
Quantifier Structure in search based procedures for QBFs 120
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 115
Representing Action: Indeterminacy and Ramifications 114
Improving the automatic test generation proces for Coverage Analysis using CBMC 114
A generate-and-test approach for computing "optimal" plans in SAT-based planning 111
Editorial: Nonmonotonic Reasoning 110
“On the integration of biomedical Knowledge bases: problems and solutions” 109
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03) 107
Reasoning with Quantified Boolean Formulas 106
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 105
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers 103
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 103
A SAT-based polynomial space algorithm for answer set programming 101
Satisfiability in the Year 2005 101
Solving Optimization Problems with DLL 94
SAT-Based Answer Set Programming 91
Planning as Satisfiability with Preferences 86
Non-Omniscient Belief as Context-Based Resoning 85
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach. 83
A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments 82
Planning as Quantified Boolean Formula 82
Chapter 30. Reasoning with Quantified Boolean Formulas 82
A simple proof-theoretic characterization of Stable Models 76
QuBE7.0 74
Partially Grounded Planning as Quantified Boolean Formula 71
Symbolic Numeric Planning with Patterns 66
null 65
Optimal Planning Modulo Theories 55
Nice and Nasty Theory of Mind for Social and Antisocial Robots 53
Nice and Nasty Theory of Mind for Social and Antisocial Robots 40
Optimal Planning with Expressive Action Languages as Constraint Optimization 28
Improvements to SAT-based conformant planning 25
Optimal Planning as Constraint Optimisation - Preliminary Report 22
Introduction to the special issue on quantified CSPs and QBF 21
Totale 13.305
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.432
article - articoli 14.390
book - libri 0
conference - conferenze 22.426
curatela - curatele 292
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.324
Totale 78.864
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021198 0 0 0 0 0 0 0 0 0 83 54 61
2021/20221.241 29 104 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.569 344 82 224 263 292 298 452 134 264 216 0 0
Totale 13.305