Sfoglia per Autore
The size of a revised knowledge base
1999 Cadoli, Marco; Donini, F. M.; Liberatore, Paolo; Schaerf, Marco
Semantical and computational aspects of Horn approximations
2000 Cadoli, Marco; Francesco, Scarcello
Space efficiency of propositional knowledge representation formalisms
2000 Cadoli, Marco; F. M., Donini; Liberatore, Paolo; Schaerf, Marco
NP-Spec: An executable specification language for solving all problems in NP
2000 Cadoli, Marco; Giovambattista, Ianni; Luigi, Palopoli; Andrea, Schaerf; Domenico, Vasile
LOCAL++: A C++ framework for local search algorithms
2000 Schaerf, A.; Cadoli, Marco; Lenzerini, Maurizio
The expressive power of binary linear programming
2001 Cadoli, Marco
Complexity of nested circumscription and abnormality theories.
2001 Cadoli, Marco; Thomas, Eiter; Georg, Gottlob
Compiling problem specifications into SAT
2001 Cadoli, Marco; Andrea, Schaerf
Preprocessing of intractable problems
2002 Cadoli, Marco; Francesco M., Donini; Liberatore, Paolo; Schaerf, Marco
Combining Relational Algebra, SQL, and Constraint Programming
2002 Cadoli, Marco; Mancini, Toni
Programmazione orientata agli oggetti e Java
2002 Cadoli, Marco; DE GIACOMO, Giuseppe; Schaerf, Marco
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
2002 Cadoli, Marco; Schaerf, Marco; Andrea, Giovanardi; Massimo, Giovanardi
Knowledge compilation = Query rewriting + View synthesis
2002 Cadoli, Marco; Mancini, Toni
Modeling real requirements for cooperative software development: A case study
2003 Daniele, Ballarini; Cadoli, Marco; Matteo, Gaeta; Mancini, Toni; Mecella, Massimo; Pierluigi, Ritrovato; Santucci, Giuseppe
Towards automated reformulation of specifications
2003 Cadoli, Marco; Mancini, Toni
Detecting and breaking symmetries on specifications
2003 Cadoli, Marco; Mancini, Toni
Automated reformulation of specifications by safe delay of constraints
2003 Cadoli, Marco; Mancini, Toni
Proposal-based negotiation in convex regions
2003 Cadoli, Marco
Exploiting functional dependencies in declarative problem specifications
2004 Cadoli, Marco; Mancini, Toni
Using a theorem prover for reasoning on constraint problems
2004 Cadoli, Marco; Mancini, Toni
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile