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

Volltext

Semantical and computational aspects of Horn approximations von Cadoli, Marco, Scarcello, Francesco

Volltext

Default logic as a query language von Cadoli, M., Eiter, T., Gottlob, G.

Volltext

k-approximating circuits von Cadoli, M., Donini, F.M., Liberatore, P., Schaerf, M.

Volltext

Space Efficiency of Propositional Knowledge Representation Formalisms von Cadoli, M., Donini, F. M., Liberatore, P., Schaerf, M.

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

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

Volltext

Proposal-Based Negotiation in Convex Regions von Cadoli, Marco

Volltext

Survey on knowledge compilation von Cadoli, Marco, Donini, Francesco M

Volltext

Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems von Bordeaux, Lucas, Cadoli, Marco, Mancini, Toni

Volltext

Preprocessing of Intractable Problems von Cadoli, Marco, Donini, Francesco M., Liberatore, Paolo, Schaerf, Marco

Volltext

LOCAL++: a C++ framework for local search algorithms von Schaerf, A., Lenzerini, M., Cadoli, M.

Volltext bestellen

Using a Theorem Prover for Reasoning on Constraint Problems von Cadoli, Marco, Mancini, Toni

Volltext

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

Volltext

Exploiting Functional Dependencies in Declarative Problem Specifications von Cadoli, Marco, Mancini, Toni

Volltext

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

Volltext

Approximate entailment von Cadoli, Marco, Schaerf, Marco

Volltext