DODARO, CARMINE
 Distribuzione geografica
Continente #
EU - Europa 2.416
Totale 2.416
Nazione #
IT - Italia 2.416
Totale 2.416
Città #
Genova 1.748
Rapallo 429
Genoa 225
Bordighera 14
Totale 2.416
Nome #
Core-guided MaxSAT with soft cardinality constraints 130
The fourth answer set programming competition: Preliminary report 121
WASP: A native ASP solver based on constraint learning 118
Comparing alternative solutions for unfounded set propagation in ASP 115
Answer set enumeration via assumption literals 114
Allotment problem in travel industry: A solution based on ASP 102
Interactive debugging of non-ground ASP programs 102
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 102
On the application of answer set programming to the conference paper assignment problem 102
Cautious reasoning in ASP via minimal models and unsatisfiable cores 99
Shared aggregate sets in answer set programming 98
Anytime answer set optimization via unsatisfiable core shrinking 85
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 82
An advanced answer set programming encoding for nurse scheduling 79
Advances in WASP 76
Anytime computation of cautious consequences in answer set programming 76
Completion of disjunctive logic programs 73
Operating Room Scheduling via Answer Set Programming 71
Unsatisfiable core shrinking for anytime answer set optimization 67
The ASP System DLV: Advancements and Applications 67
Nurse scheduling via answer set programming 65
A MaxSAT algorithm using cardinality constraints of bounded size 55
KR&R approaches for robot manipulation tasks with articulated objects 54
The ASP system DLV2 51
ASPQ: An ASP-based 2QBF solver 49
JWASP: A new Java-based ASP solver 48
External propagators in wasp: Preliminary report 47
Optimal Stable Model Search: Algorithms and Implementation. 44
Externally supported models for efficient computation of paracoherent answer sets 41
On the computation of paracoherent answer sets 35
An overview of ASP applications in the health-care domain 32
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 23
On the Configuration of More and Less Expressive Logic Programs 15
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 12
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 11
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 10
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 8
Operating Room (Re)Scheduling with Bed Management via ASP 6
Totale 2.485
Categoria #
all - tutte 7.801
article - articoli 2.455
book - libri 0
conference - conferenze 4.989
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 357
Totale 15.602


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019150 0 0 0 0 0 0 0 0 0 32 64 54
2019/2020705 32 28 30 44 52 79 110 43 52 112 86 37
2020/2021184 16 20 19 13 8 14 3 20 7 29 16 19
2021/2022401 10 19 17 77 3 38 11 93 47 30 5 51
2022/2023505 35 43 3 50 48 104 29 56 69 3 61 4
2023/2024185 10 28 8 34 20 41 22 16 6 0 0 0
Totale 2.485