IRIS

Sfoglia per Autore  TACCHELLA, ARMANDO

Opzioni
Mostrati risultati da 1 a 20 di 107
Titolo Data di pubblicazione Autore(i) File
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation 1-gen-2000 Giunchiglia, Enrico; Giunchiglia, A.; Sebastiani, R.; Tacchella, Armando
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 1-gen-2000 Giunchiglia, Enrico; Tacchella, Armando
Getting to the airport: The oldest planning problem in AI 1-gen-2000 Lifschitz, V.; Mccain, N.; Remolina, E.; Tacchella, Armando
Evaluating search heuristics and optimization techniques in propositional satisfiability 1-gen-2001 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando; Zambonin, Davide
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Towards an Efficient Library for SAT: a Manifesto 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando; M. Y., Vardi
Benefits of bounded model checking at an industrial setting 1-gen-2001 Copty, F.; Fix, L.; Fraer, R.; Giunchiglia, Enrico; Kamhi, G.; Tacchella, Armando; Vardi, M. Y.
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 1-gen-2001 Giunchiglia, Enrico; Tacchella, Armando
Backjumping for Quantified Boolean Logic Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Dependent and Independent Variables in Propositional Satisfiability 1-gen-2002 Giunchiglia, Enrico; Maratea, Marco; 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
Learning for Quantified Boolean Logic Satisfiability 1-gen-2002 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
SAT-Based Decision Procedures for Classical Modal Logics 1-gen-2002 Giunchiglia, Enrico; Giunchiglia, F.; Tacchella, Armando
SAT-based planning in complex domains: Concurrency, constraints and nondeterminism 1-gen-2003 Castellini, C.; Giunchiglia, Enrico; Tacchella, Armando
Backjumping for Quantified Boolean Logic satisfiability 1-gen-2003 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Watched Data Structures for QBF Solvers 1-gen-2003 I. P., Gent; Giunchiglia, Enrico; Narizzano, Massimo; A. G. D., Rowley; Tacchella, Armando
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers 1-gen-2004 Le Berre, D.; Simon, L.; Tacchella, Armando
Monotone Literals and Learning in QBF Reasoning 1-gen-2004 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
Mostrati risultati da 1 a 20 di 107
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