| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Gavanelli, Toni Mancini, Alberto Pettorossi |
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Toni Mancini |
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gavanelli, Toni Mancini |
Preface. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
Generalizing consistency and other constraint properties to quantified constraints. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
quantified constraints, Constraint satisfaction, quantified Boolean formulae |
| 1 | Toni Mancini |
Negotiation Exploiting Reasoning by Projections. |
PAAMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Mancini, Davide Micaletto, Fabio Patrizi, Marco Cadoli |
Evaluating ASP and Commercial Solvers on the CSPLib. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
Declarative constraint modelling, Problem reformulation, Experimental evaluation among solvers, OPL, Constraint programming, Answer Set Programming |
| 1 | Marco Gavanelli, Toni Mancini |
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Using a Theorem Prover for Reasoning on Constraint Problems. |
Applied Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
Generalizing Consistency and other Constraint Properties to Quantified Constraints |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Toni Mancini, Marco Cadoli |
Exploiting functional dependencies in declarative problem specifications. |
Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Combining relational algebra, SQL, constraint modelling, and local search. |
TPLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Toni Mancini |
Complexity of Pure Equilibria in Bayesian Games. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Georg Gottlob, Gianluigi Greco, Toni Mancini |
Conditional Constraint Satisfaction: Logical Foundations and Complexity. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini |
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. |
AI*IA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Combining Relational Algebra, SQL, Constraint Modelling, and Local Search |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Automated reformulation of specifications by safe delay of constraints. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi |
Evaluating ASP and Commercial Solvers on the CSPLib. |
ECAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini, Fabio Patrizi |
SAT as an Effective Solving Technology for Constraint Problems. |
ISMIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi |
Evaluating ASP and commercial solvers on the CSPLib (Preliminary work). |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Toni Mancini, Marco Cadoli |
Detecting and Breaking Symmetries by Reasoning on Problem Specifications. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Using a Theorem Prover for Reasoning on Constraint Problems. |
AI*IA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
CSP Properties for Quantified Constraints: Definitions and Complexity. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lucas Bordeaux, Marco Cadoli, Toni Mancini |
Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Toni Mancini |
Finite Satisfiability of UML Class Diagrams by Constraint Programming. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Exploiting Functional Dependencies in Declarative Problem Specifications. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Automated Reformulation of Specifications by Safe Delay of Constraints. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Toni Mancini |
Scaling Up Reasoning about Actions Using Relational Database Technology. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Towards automated reformulation of specications. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Toni Mancini |
Reformulation Techniques for a Class of Permutation Problems. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Combining Relational Algebra, SQL, and Constraint Programming. |
FroCos |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Cadoli, Toni Mancini |
Knowledge Compilation = Query Rewriting + View Synthesis. (PDF / PS) |
PODS |
2002 |
DBLP DOI BibTeX RDF |
deductive databases., logic in databases, complexity |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")