Tractable Reasoning in Artificial Intelligence von Cadoli, Marco

Volltext

Evaluating ASP and Commercial Solvers on the CSPLib von Mancini, Toni, Micaletto, Davide, Patrizi, Fabio, Cadoli, Marco

Volltext

On the separability of subproblems in Benders decompositions von Cadoli, Marco, Patrizi, Fabio

Volltext

The complexity of model checking for circumscriptive formulae von Cadoli, Marco

Volltext

Compiling problem specifications into SAT von Cadoli, Marco, Schaerf, Andrea

Volltext

Automated reformulation of specifications by safe delay of constraints von Cadoli, Marco, Mancini, Toni

Volltext

Combining relational algebra, SQL, constraint modelling, and local search von CADOLI, MARCO, MANCINI, TONI

Volltext

Partial Solutions with Unique Completion von CADOLI, Marco, SCHAERF, Marco

Volltext

On the Separability of Subproblems in Benders Decompositions von Cadoli, Marco, Patrizi, Fabio

Volltext

USING A THEOREM PROVER FOR REASONING ON CONSTRAINT PROBLEMS von Cadoli, Marco, Mancini, Toni

Volltext

Detecting and Breaking Symmetries by Reasoning on Problem Specifications von Mancini, Toni, Cadoli, Marco

Volltext

SAT as an Effective Solving Technology for Constraint Problems von Cadoli, Marco, Mancini, Toni, Patrizi, Fabio

Volltext

Exploiting functional dependencies in declarative problem specifications von Mancini, Toni, Cadoli, Marco

Volltext

Compiling problem specifications into SAT: Reformulation von CADOLI, Marco, SCHAERF, Andrea

Volltext

An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation von Cadoli, Marco, Schaerf, Marco, Giovanardi, Andrea, Giovanardi, Massimo

Volltext

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability von Bordeaux, L., Cadoli, M., Mancini, T.

Volltext

Tractable reasoning via approximation von Schaerf, Marco, Cadoli, Marco

Volltext

Generalizing consistency and other constraint properties to quantified constraints von Bordeaux, Lucas, Cadoli, Marco, Mancini, Toni

Volltext

Partial Solutions with Unique Completion von Cadoli, Marco, Schaerf, Marco

Volltext

Proposal-Based Negotiation in Convex Regions von Cadoli, Marco

Volltext