Publications

Here you may find most of my publications and editorial activities. Should you be interested in a specific contribution that is not currently linked, please do not hesitate to contact me.
Disclaimer: The copyright of most contributions is held by the publisher. The papers herewith provided are intended for personal, non-commercial use in the interest of scientific dissemination.  

Journal Papers

  • "Report of the Third QBF Solvers Evaluation"
    j.w.w. A. Tacchella and L. Pulina
    Journal of Satisfiability, Boolean Modeling and Computation", Vol. 2 (2006) pp. 145-164
    [ps.gz,  pdf.gz,  BibTeX]
  • "Clause-Term Resolution and Learning in Quantified Boolean Logic Satisfiability"
    j.w.w. E. Giunchiglia and A. Tacchella
    Journal of Artificial Intelligence Research, Vol. 26 (2006) pp. 371-416
    [ps.gz,  pdf.gz,  BibTeX]
  • "Backjumping for Quantified Boolean Logic satisfiability"
          j.w.w. E. Giunchiglia, and A. Tacchella
    Artificial Intelligence, Vol. 145 (2003) pp. 99 - 120
    [ps.gz,  pdf,  BibTeX]

Conference and Workshop papers

  • "Competitive Evaluation of Automated Reasoning Tools: Statistical Testing vs. Empirical Scoring"
    j.w.w. A. Tacchella and L.Pulina
    Draft - Accepted to EMAA 2006
    [ps.gz,  pdf.gz, BibTeX]
  • "The QBFEVAL Web Portal"
    j.w.w. A. Tacchella and L.Pulina
    System Description - Accepted to JELIA 2006
    [ps.gz,  pdf.gz, BibTeX]
  • "Scoring methods for the evaluation of Automated Reasoning Systems"
    j.w.w. A. Tacchella and L.Pulina
    Accepted to "Analisi sperimentale e benchmark di algoritmi per l'intelligenza artificiale" - Workshop organized by "Gruppo AI*IA sulla Rappresentazione della Conoscenza e Ragionamento Automatico"- Udine, June 23 2006
    [ps.gz,  pdf.gz, BibTeX]
  • "Quantifier structure in search based procedures for QBFs"
    j.w.w. E. Giunchiglia and A. Tacchella
    In Design Automation and Test in Europe (DATE 2006)
    [ps.gz,  pdf.gz,  BibTeX]
  • "Monotone Literals and Learning in QBF Reasoning"
    j.w.w. E. Giunchiglia and A. Tacchella
    In Tenth International Conference on Principles and Practices of Constraint Programming (CP 2004), volume 3258 Lecture Notes in Computer Science. Springer Verlag.
    [ps.gz, pdf,BibTeX]
  • "QuBE++: an Efficient QBF Solvers"
    j.w.w. E. Giunchiglia and A. Tacchella
    In Fifth International Conference on Formal Methods in Computer Aided Design (FMCAD 2004), volume 3312 of Lecture Notes in Computer Science. Springer Verlag.
    [ps.gz, pdf, BibTeX]
  • "QBF reasoning on real-world instancess"
    j.w.w. E. Giunchiglia and A. Tacchella
    In Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004) (to be published in Springer LNCS series).
    [ps.gz, pdf.gz, BibTeX]
  • "The Second QBF Solvers Comparative Evaluations"
    j.w.w. D. Le Berre, A. Tacchella and L. Simon
    In Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004) (to be published in Springer LNCS series).
    [ps.gz, pdf, BibTeX]
  • "Combining Monotone Literals and Learning in a QBF Solver"
    j.w.w. A. Tacchella
    In Fifth International Workshop on Strategies in Automated Deduction (STRATEGIES 2004)
    [ps.gz, pdf, BibTeX]
  • "Watched Data Structures for QBF Solvers"
    j.w.w. I. Gent, E. Giunchiglia, A. Tacchella and  A. Rowley
    In Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT 2003), volume 2919 of Lecture Notes in Computer Science. Springer Verlag.
    [ps.gz, pdf, BibTeX]
  • "Learning in Quantified Boolean Logic Satisfiability" 
    j.w.w. E. Giunchiglia, A. Tacchella
     In 18th National Conference on Artificial Intelligence (AAAI 2002). AAAI Press/MIT Press.
    [ps.gz, pdf, BibTeX]
  • "Assessing the impact of Learning Techniques in Quantified Boolan Logic Satisfiability." 
    j.w.w. E. Giunchiglia, A. Tacchella, M. Y. Vardi
     In Quantified Boolean Formulas Mini Workshop joint event with the 5th International Symposium on Theory and Application of Quantified Boolean Formulas Workshop (SAT 2002).
    [ps.gz, pdf, BibTeX]
  • "QuBE: A system for deciding Quantified Boolean Formulas satisfiability. " 
    j.w.w. E. Giunchiglia, A. Tacchella
     In First International Joint Conference on Automated Reasoning (IJCAR 2001), volume 2083 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2001.
    [ps.gz, pdf, BibTeX]
  • "An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. " 
    j.w.w. E. Giunchiglia, A. Tacchella
     In Seventh Congress of the Italian Association for Artificial Intelligence (AI*IA 2001), volume 2175 of Lecture Notes in Artificial Intelligence. Springer Verlag, 2001. Joint work with E. Giunchiglia and A. Tacchella.
    [ps.gz, pdf, BibTeX]
  • "Towards an Efficient Library for SAT: a Manifesto"
    j.w.w. E. Giunchiglia, A. Tacchella and M. Y. Vardi
    In Electronic Notes on Discrete Mathematics. Vol 9,  Elsevier Science, 2001
    [ps.gz, pdf, BibTeX]
  • "Backjumping for Quantified Boolean Logic Satisfiability"
    j.w.w. E. Giunchiglia and A. Tacchella
    In 17th International Joint Conference on Artificial Intelligence (IJCAI 2001). Morgan Kauffman.
    [ps.gz, pdf, BiBTeX]
  • " On the effectiveness of backjumping and trivial truth in quantified boolean formulas satisfiability."
    j.w.w. E. Giunchiglia and A. Tacchella
    In IJCAR workshop on Theory and Application of Quantified Boolean Formulas, 2001.
    [ps.gz, pdf, BiBTeX]
  • " Designing an efficient library for propositional satisfiability and beyond. "
    j.w.w. E. Giunchiglia and A. Tacchella, M. Y. Vardi
    In IJCAR workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics, 2001.
    [ps.gz, pdf, BiBTeX]