IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 98
Titolo Data di pubblicazione Autore(i) File
QBF Reasoning on Real-World Instances 1-gen-2005 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 1-gen-2005 Giunchiglia, Enrico; Maratea, Marco
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 1-gen-2005 Armando, Alessandro; Castellini, C.; Giunchiglia, Enrico; Giunchiglia, F.; Tacchella, Armando
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 1-gen-2005 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
Constraints and AI Planning 1-gen-2005 Alexander, Nareyek; EUGENE C., Freuder; Robert, Fourer; Giunchiglia, Enrico; ROBERT P., Goldman; HENRY A., Kautz; Jussi, Rintanen; Austin, Tate
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 1-gen-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
Quantifier Structure in search based procedures for QBFs 1-gen-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Solving Optimization Problems with DLL 1-gen-2006 Giunchiglia, Enrico; Maratea, Marco
Satisfiability in the Year 2005 1-gen-2006 Giunchiglia, Enrico; Toby, Walsh
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 1-gen-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
OPTSAT: A Tool for Solving SAT Related Optimization Problems 1-gen-2006 Giunchiglia, Enrico; Maratea, Marco
Answer Set Programming based on Propositional Satisfiability 1-gen-2006 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
“On the integration of biomedical Knowledge bases: problems and solutions” 1-gen-2007 Fato, MARCO MASSIMO; Giunchiglia, E.; Porro, Ivan; Vassalli, L.
Planning as Satisfiability with Preferences 1-gen-2007 Giunchiglia, Enrico; Maratea, Marco
Quantifier Structure in search based procedures for QBFs 1-gen-2007 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 1-gen-2007 Giunchiglia, Enrico; Maratea, Marco
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 1-gen-2008 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
On the Relation among Answer Set Solvers 1-gen-2008 Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco
Computing All Optimal Solutions in Satisfiability Problems with Preferences 1-gen-2008 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
Mostrati risultati da 41 a 60 di 98
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