IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 145
Titolo Data di pubblicazione Autore(i) File
Evaluating search heuristics and optimization techniques in propositional satisfiability 1-gen-2001 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando; Zambonin, Davide
Dependent and Independent Variables in Propositional Satisfiability 1-gen-2002 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
Computing answer sets of a logic program via-enumeration of SAT certificates 1-gen-2003 Lierler, Yuliya; Maratea, Marco
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 1-gen-2003 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
A SAT-based polynomial space algorithm for answer set programming 1-gen-2004 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
SAT-Based Answer Set Programming 1-gen-2004 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs 1-gen-2004 Lierler, Yuliya; Maratea, Marco
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 1-gen-2005 Giunchiglia, Enrico; Maratea, Marco
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 1-gen-2005 Giunchiglia, Enrico; Maratea, Marco
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 1-gen-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 1-gen-2005 Giunchiglia, Enrico; Maratea, Marco
The SAT-based Approach to Separation Logic 1-gen-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
TSAT++: an Open Platform for Satisfiability Modulo Theories 1-gen-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco
OPTSAT: A Tool for Solving SAT Related Optimization Problems 1-gen-2006 Giunchiglia, Enrico; Maratea, Marco
Solving Optimization Problems with DLL 1-gen-2006 Giunchiglia, Enrico; Maratea, Marco
Answer Set Programming based on Propositional Satisfiability 1-gen-2006 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems 1-gen-2006 Maratea, Marco
Looking Back in DLV: Experiments and Comparison to QBF Solvers 1-gen-2007 Faber, Wolfgang; Leone, Nicola; M., Maratea; Ricca, Francesco
DLV: An Advanced System for Knowledge Representation and Reasoning 1-gen-2007 Leone, Nicola; Faber, Wolfgang; Bria, A; Calimeri, Francesco; Catalano, G; Cozza, S; Dell'Armi, T; Greco, G; Ianni, Giovambattista; Ielpa, G; Maratea, M; Panetta, C; Perri, Simona; Ricca, Francesco; Scarcello, F; Terracina, G; Pfeifer, G; Eiter, T; Gottlob, G.
Planning as Satisfiability with Preferences 1-gen-2007 Giunchiglia, Enrico; Maratea, Marco
Mostrati risultati da 1 a 20 di 145
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