Toni Mancini

2009
27	EE	Lucas Bordeaux, Marco Cadoli, Toni Mancini: Generalizing consistency and other constraint properties to quantified constraints. ACM Trans. Comput. Log. 10(3): (2009)
2008
26	EE	Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli: Evaluating ASP and Commercial Solvers on the CSPLib. Constraints 13(4): 407-436 (2008)
25	EE	Marco Gavanelli, Toni Mancini: RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. J. Algorithms 63(1-3): 1-2 (2008)
2007
24	EE	Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini: Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA 2007: 36-47
23	EE	Georg Gottlob, Gianluigi Greco, Toni Mancini: Complexity of Pure Equilibria in Bayesian Games. IJCAI 2007: 1294-1299
22	EE	Georg Gottlob, Gianluigi Greco, Toni Mancini: Conditional Constraint Satisfaction: Logical Foundations and Complexity. IJCAI 2007: 88-93
21	EE	Marco Cadoli, Toni Mancini: Using a Theorem Prover for Reasoning on Constraint Problems. Applied Artificial Intelligence 21(4&5): 383-404 (2007)
20	EE	Toni Mancini, Marco Cadoli: Exploiting functional dependencies in declarative problem specifications. Artif. Intell. 171(16-17): 985-1010 (2007)
19	EE	Lucas Bordeaux, Marco Cadoli, Toni Mancini: Generalizing Consistency and other Constraint Properties to Quantified Constraints CoRR abs/0705.3561: (2007)
18	EE	Marco Cadoli, Toni Mancini: Combining relational algebra, SQL, constraint modelling, and local search. TPLP 7(1-2): 37-65 (2007)
2006
17		Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi: Evaluating ASP and Commercial Solvers on the CSPLib. ECAI 2006: 68-72
16	EE	Marco Cadoli, Toni Mancini, Fabio Patrizi: SAT as an Effective Solving Technology for Constraint Problems. ISMIS 2006: 540-549
15	EE	Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi: Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). WLP 2006: 54-63
14	EE	Marco Cadoli, Toni Mancini: Automated reformulation of specifications by safe delay of constraints. Artif. Intell. 170(8-9): 779-801 (2006)
13	EE	Marco Cadoli, Toni Mancini: Combining Relational Algebra, SQL, Constraint Modelling, and Local Search CoRR abs/cs/0601043: (2006)
2005
12		Lucas Bordeaux, Marco Cadoli, Toni Mancini: CSP Properties for Quantified Constraints: Definitions and Complexity. AAAI 2005: 360-365
11	EE	Marco Cadoli, Toni Mancini: Using a Theorem Prover for Reasoning on Constraint Problems. AI*IA 2005: 38-49
10	EE	Toni Mancini, Marco Cadoli: Detecting and Breaking Symmetries by Reasoning on Problem Specifications. SARA 2005: 165-181
2004
9		Giuseppe De Giacomo, Toni Mancini: Scaling Up Reasoning about Actions Using Relational Database Technology. AAAI 2004: 245-256
8	EE	Toni Mancini: Finite Satisfiability of UML Class Diagrams by Constraint Programming. Description Logics 2004
7	EE	Marco Cadoli, Toni Mancini: Exploiting Functional Dependencies in Declarative Problem Specifications. JELIA 2004: 628-640
6		Marco Cadoli, Toni Mancini: Automated Reformulation of Specifications by Safe Delay of Constraints. KR 2004: 388-398
5	EE	Lucas Bordeaux, Marco Cadoli, Toni Mancini: Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. LPAR 2004: 270-284
2003
4		Marco Cadoli, Toni Mancini: Towards automated reformulation of specications. APPIA-GULP-PRODE 2003: 398-409
3	EE	Toni Mancini: Reformulation Techniques for a Class of Permutation Problems. CP 2003: 984
2002
2	EE	Marco Cadoli, Toni Mancini: Combining Relational Algebra, SQL, and Constraint Programming. FroCos 2002: 147-161
1	EE	Marco Cadoli, Toni Mancini: Knowledge Compilation = Query Rewriting + View Synthesis. PODS 2002: 199-208

Coauthor Index

1	Lucas Bordeaux	[5] [12] [19] [27]
2	Marco Cadoli	[1] [2] [4] [5] [6] [7] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [24] [26] [27]
3	Diego Calvanese	[24]
4	Marco Gavanelli	[25]
5	Giuseppe De Giacomo	[9] [24]
6	Georg Gottlob	[22] [23]
7	Gianluigi Greco	[22] [23]
8	Davide Micaletto	[15] [17] [26]
9	Fabio Patrizi	[15] [16] [17] [26]

Colors in the list of coauthors