- Fondamenti di Informatica I -Prova Scritta Savona, 5 settembre 2003
- *SAT System Description Armando Tacchella
- Fondamenti di Informatica -Simulazione di Prova Scritta Savona, 8 novembre 2002
- Annals of Mathematics and Artificial Intelligence 0 (2000) ?--? 1 Testing for Satisfiability in Modal Logics using a
- The QBFEVAL web portal Massimo Narizzano, Luca Pulina, and Armando Tacchella
- Evaluating search heuristics and optimization techniques in propositional satisfiability
- E. Giunchiglia Basi di dati 1
- Linguaggi e Traduttori: Analisi semantica Armando Tacchella
- Fondamenti di Informatica I -Prova Scritta Savona, 10 giugno 2005
- QUBE: A system for deciding Quantified Boolean Formulas Satisfiability ?
- Linguaggi e Traduttori: Introduzione al corso
- (In)E ectiveness of Look-Ahead Techniques in a Modern SAT Solver
- Fondamenti di Informatica -Simulazione di Prova Scritta Savona, 11 dicembre 2003
- *SAT user's manual Version 1.3
- SAT-Based Decision Procedures for Classical Modal Logics
- Fondamenti di Informatica Prova Scritta Savona, 9 giugno 2006
- Fondamenti di Informatica Prova Scritta Savona, 11 gennaio 2007
- Fondamenti di Informatica Prova Scritta Savona, 14 luglio 2006
- Fondamenti di Informatica I -Prova Scritta Savona, 9 gennaio 2004
- 1DIST Dipartimento di Informatica Sistemistica e Telematica Universit degli Studi di Genova -Italia
- Metodi di Calcolo dei Punteggi per la Valutazione di Sistemi di Ragionamento Automatico
- Report of the Third QBF solvers evaluation Massimo Narizzano mox@dist.unige.it
- Identificatori
- Fondamenti di Informatica Prova Scritta Savona, 16 febbraio 2007
- Fondamenti di Informatica Prova Scritta Savona, 8 settembre 2006
- Fondamenti di Informatica Prova Scritta Savona, 10 febbraio 2006
- Fondamenti di Informatica -Prova Scritta Savona, 13 gennaio 2006
- Fondamenti di Informatica I -Prova Scritta Savona, 9 settembre 2005
- Fondamenti di Informatica I -Prova Scritta Savona, 21 gennaio 2005
- Fondamenti di Informatica I -Prova Scritta Savona, 10 settembre 2004
- Fondamenti di Informatica I -Prova Scritta Savona, 11 giugno 2003
- Fondamenti di Informatica I -Prova Scritta Savona, 14 febbraio 2003
- Fondamenti di Informatica I -Prova Scritta Savona, 10 gennaio 2003
- Linguaggi e Traduttori: Analisi lessicale Armando Tacchella
- Linguaggi e Traduttori: Analisi sintattica Armando Tacchella
- Competitive Evaluation of Automated Reasoning Tools: Statistical Testing vs. Empirical Scoring
- Evaluating *SAT on TANCS 2000 benchmarks Armando Tacchella
- SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective
- Esercizi per il corso di Fondamenti di Informatica I Tratti dal libro: "Introduzione alla programmazione ad oggetti in
- Fondamenti di Informatica -Simulazione di Prova Scritta Savona, 15 dicembre 2005
- Fondamenti di Informatica I -Prova Scritta Savona, 11 febbraio 2005
- Fondamenti di Informatica I -Prova Scritta Savona, 13 giugno 2003
