Toni Mancini

	2009
28		Lucas Bordeaux, Marco Cadoli, Toni Mancini: Generalizing consistency and other constraint properties to quantified constraints. ACM Trans. Comput. Log. 10(3): (2009)
	2008
27		Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli: Evaluating ASP and Commercial Solvers on the CSPLib. Constraints 13(4): 407-436 (2008)
26		Marco Gavanelli, Toni Mancini: RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. J. Algorithms 63(1-3): 1-2 (2008)
25		Lucas Bordeaux, Marco Cadoli, Toni Mancini: A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. J. Artif. Intell. Res. (JAIR) 32: 607-629 (2008)
	2007
24		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		Georg Gottlob, Gianluigi Greco, Toni Mancini: Complexity of Pure Equilibria in Bayesian Games. IJCAI 2007: 1294-1299
22		Georg Gottlob, Gianluigi Greco, Toni Mancini: Conditional Constraint Satisfaction: Logical Foundations and Complexity. IJCAI 2007: 88-93
21		Marco Cadoli, Toni Mancini: Using a Theorem Prover for Reasoning on Constraint Problems. Applied Artificial Intelligence 21(4&5): 383-404 (2007)
20		Toni Mancini, Marco Cadoli: Exploiting functional dependencies in declarative problem specifications. Artif. Intell. 171(16-17): 985-1010 (2007)
19		Lucas Bordeaux, Marco Cadoli, Toni Mancini: Generalizing Consistency and other Constraint Properties to Quantified Constraints CoRR abs/0705.3561: (2007)
18		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		Marco Cadoli, Toni Mancini, Fabio Patrizi: SAT as an Effective Solving Technology for Constraint Problems. ISMIS 2006: 540-549
15		Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi: Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). WLP 2006: 54-63
14		Marco Cadoli, Toni Mancini: Automated reformulation of specifications by safe delay of constraints. Artif. Intell. 170(8-9): 779-801 (2006)
13		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		Marco Cadoli, Toni Mancini: Using a Theorem Prover for Reasoning on Constraint Problems. AI*IA 2005: 38-49
10		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		Toni Mancini: Finite Satisfiability of UML Class Diagrams by Constraint Programming. Description Logics 2004
7		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		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		Toni Mancini: Reformulation Techniques for a Class of Permutation Problems. CP 2003: 984
	2002
2		Marco Cadoli, Toni Mancini: Combining Relational Algebra, SQL, and Constraint Programming. FroCos 2002: 147-161
1		Marco Cadoli, Toni Mancini: Knowledge Compilation = Query Rewriting + View Synthesis. PODS 2002: 199-208

Coauthor Index

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

Colors in the list of coauthors