IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 98
Titolo Data di pubblicazione Autore(i) File
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 1-gen-2001 Giunchiglia, Enrico; Tacchella, Armando
Ideal and Real Belief about Belief 1-gen-2001 Giunchiglia, Enrico; Giunchiglia, Fausto
Learning for Quantified Boolean Logic Satisfiability 1-gen-2002 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
NuSMV 2: An OpenSource Tool for Symbolic Model Checking 1-gen-2002 Cimatti, A; Clarke, E; Giunchiglia, Enrico; Giunchiglia, F; Pistore, M; Roveri, M; Sebastiani, R; Tacchella, Armando
Dependent and Independent Variables in Propositional Satisfiability 1-gen-2002 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
SAT-Based Decision Procedures for Classical Modal Logics 1-gen-2002 Giunchiglia, Enrico; Giunchiglia, F.; Tacchella, Armando
Watched Data Structures for QBF Solvers 1-gen-2003 I. P., Gent; Giunchiglia, Enrico; Narizzano, Massimo; A. G. D., Rowley; Tacchella, Armando
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 1-gen-2003 Castellini, C.; Giunchiglia, Enrico; Tacchella, Armando
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 1-gen-2003 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
Backjumping for Quantified Boolean Logic satisfiability 1-gen-2003 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers 1-gen-2004 Giunchiglia, Enrico; Tacchella, Armando
A SAT-based polynomial space algorithm for answer set programming 1-gen-2004 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
QuBE++: An efficient QBF solver 1-gen-2004 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Monotone Literals and Learning in QBF Reasoning 1-gen-2004 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
SAT-Based Answer Set Programming 1-gen-2004 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
Nonmonotonic causal theories 1-gen-2004 Giunchiglia, Enrico; Joohyung, Lee; Vladimir, Lifschitz; Norman, Mccain; Hudson, Turner
Editorial: Nonmonotonic Reasoning 1-gen-2004 Salem, Benferhat; Giunchiglia, Enrico
The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03) 1-gen-2004 Giunchiglia, Enrico; Nicola, Muscettola; DANA S., Nau
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
The SAT-based Approach to Separation Logic 1-gen-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
Mostrati risultati da 21 a 40 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