Publications

Here you may find most of my publications and editorial activities, listed in reverse chronological order. 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.  

  • "Clause-Term Resolution and Learning in Quantified Boolean Logic Satisfiability"
    j.w.w. E. Giunchiglia and M. Narizzano
    Journal of Artificial Intelligence Research, Vol. 26 (2006) pp. 271--416
    [ps.gz,  pdf,  BibTeX]
  • "Competitive Evaluation of Automated Reasoning Tools:
    Statistical Testing vs. Empirical Scoring
    "
    j.w.w. M. Narizzano and L.Pulina
    Accepted to EMAA 2006
    [ps.gz,  pdf, BibTeX,  Data and R macros]
  • "The QBFEVAL Web Portal"
    j.w.w. M. Narizzano and L.Pulina
    System Description - Accepted to JELIA 2006
    [ps.gz,  pdf, BibTeX]
  • "Scoring methods for the evaluation of Automated Reasoning Systems"
    j.w.w. M. Narizzano 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 procedurs for QBFs"
    j.w.w. E. Giunchiglia and M. Narizzano
    In Design Automation and Test in Europe (DATE 2006)
    [ps.gz,  pdf,  BibTeX]
  • "Report of the Third QBF Solvers Evaluation"
    j.w.w. M. Narizzano and L. Pulina
    Journal of Satisfiability, Boolean Modeling and Computation, Vol. 2 (2006) pp. 145 -- 164
    [ps.gz,  pdf,  BibTeX]
  • "SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective"
    j.w.w. A. Armando, C. Castellini, E. Giunchiglia and F. Giunchiglia
    Festschrift in Honor of Jörg H. Siekmann by Springer-Verlag
    [ps.gz,  pdf,  BibTeX]
  • "Monotone Literals and Learning in QBF Reasoning"
    j.w.w. E. Giunchiglia and M. Narizzano
    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 M. Narizzano
    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 M. Narizzano
    In Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004) (to be published in Springer LNCS series).
    [ps.gz, pdf, BibTeX]
  • "The Second QBF Solvers Comparative Evaluations"
    j.w.w. D. Le Berre, M. Narizzano 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. M. Narizzano
    In Fifth International Workshop on Strategies in Automated Deduction (STRATEGIES 2004)
    [ps.gz, pdf, BibTeX]
  • "Sixth International Conference on Theory and Applications of Satisfiability Testing" - Selected and Revised Papers
    co-editor with E. Giunchiglia
    LNCS volume 2919 - Springer Verlag
    [link to the volume, BibTeX]
  • "SAT-based planning in complex domains: Concurrency, constraints and nondeterminism"
    j.w.w. C. Castellini and E. Giunchiglia
    Artificial Intelligence, Vol. 147 (2003) No. 1-2 pp. 85 -- 117
    [ps.gz,  pdf,  BibTeX]
  • "Backjumping for Quantified Boolean Logic satisfiability"
     
    j.w.w. E. Giunchiglia, and M. Narizzano
    Artificial Intelligence, Vol. 145 (2003) pp. 99 -- 120
    [ps.gz,  pdf,  BibTeX]
  • "Challenges in the QBF arena: the SAT'03 evaluation of QBF solvers"
    j.w.w. D. Le Berre and L. Simon
    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]
  • "Watched Data Structures for QBF Solvers"
    j.w.w. I. Gent, E. Giunchiglia, M. Narizzano 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]
  • "(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver"
    j.w.w. E. Giunchiglia and  M. Maratea
     In 9th Conference on Principles and Practice of Constraint Programming (CP 2003), volume 2833 of Lecture Notes in Computer Science. Springer Verlag.
    [ps.gz, pdf, BibTeX]
  • "NuSMV 2: An Open Source Tool for Symbolic Model Checking"
    j.w.w. A. Cimatti, E.M. Clarke, E. Giunchiglia, M. Roveri, M. Pistore and R. Sebastiani
     In 14th International Conference on Computer Aided Verification (CAV 2003), volume 2404 of Lecture Notes in Computer Science. Springer Verlag.
    [ps.gz, pdf, BibTeX]
  • "Integrating BDD-Based and SAT-Based Symbolic Model Checking"
    j.w.w. A. Cimatti, E. Giunchiglia, E. Roveri, M. Pistore and R. Sebastiani
     In Frontiers of Combining Systems (FROCOS), volume 2309 of Lecture Notes in Artificial Intelligence. Springer Verlag.
    [ps.gz, pdf., BiBTeX]
  • "Dependent and Independent Variables in Propositional Satisfiability"
    j.w.w. E. Giunchiglia and M. Maratea
    In 8th European Conference on Logics in Artificial Intelligence (JELIA 2002), volume 2424 of Lecture Notes in Artificial Intelligence. Springer Verlag.
    [ps.gz, pdf, BiBTeX]
  • "Learning in Quantified Boolean Logic Satisfiability
    j.w.w. E. Giunchiglia, M. Narizzano
    In 18th National Conference on Artificial Intelligence (AAAI 2002). AAAI Press/MIT Press.
  • "SAT Based Decision Procedures for Classical Modal Logics"
    j.w.w. E. Giunchiglia and F. Giunchiglia
    Journal of Automated Reasoning, Vol. 28 (2002) No. 2 pp 143 -- 171
    [ps.gz,  pdf,  BibTeX] 
  • "Testing for Satisfiability in Modal Logics using a Subset-matching Size-bounded cache"
    j.w.w. E. Giunchiglia
    Annals of Mathematics and Artificial Intelligence, Vol. 33 (2001) No. 1 pp. 39 -- 68 
    [ps.gz,  pdf,  BibTeX]
  • "Towards an Efficient Library for SAT: a Manifesto"
    j.w.w. E. Giunchiglia, M. Narizzano and M. Y. Vardi
    In Electronic Notes on Discrete Mathematics. Vol 9,  Elsevier Science, 2001
  • "Benefits of Bounded Model Checking at an Industrial Setting"
    j.w.w. F. Copty, L. Fix, R. Fraer, E. Giunchiglia, G. Kamhi and  M. Y. Vardi
     In 13th International Conference on Computer Aided Verification (CAV2001), volume 2102 of Lecture Notes in Computer Science. Springer Verlag
    [ps.gz, pdf, BiBTeX]
  • "Evaluating search heuristics and optimization techniques in propositional satisfiability"
    j.w.w. E. Giunchiglia, M. Maratea,  D. Zambonin
    In First International Joint Conference on Automated Reasoning (IJCAR 2001), volume 2083 of Lecture Notes in Artificial Intelligence. Springer Verlag
    [ps.gz, pdf, BiBTeX]
  • "Backjumping for Quantified Boolean Logic Satisfiability"
    j.w.w. E. Giunchiglia and M. Narizzano
    In 17th International Joint Conference on Artificial Intelligence (IJCAI 2001). Morgan Kauffman.
    [ps.gz, pdf, BiBTeX]
  • "Improvements to SAT-based conformant planning"
    j.w.w. C. Castellini and E. Giunchiglia
    In Proceedings of  6th European Conference on Planning (ECP'01).
    [ps.gz, pdf, BiBTeX]
  • "Getting to the airport: the oldest planning problem in AI"
    j.w.w. V. Lifschitz, N. McCain and E. Remolina 
    Appears in Logic-Based Artificial Intelligence Jack Minker Ed. (2000) Kluwer Academic Publishers
    [ps.gz,  pdf,  BibTeX]
  •  "SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation"
    j.w.w. E. Giunchiglia, F. Giunchiglia and R. Sebastiani
    Journal of Applied Non-Classical Logics Vol. 10 (2000) No. 2 pp 145 -- 172
    [ps.gz,  pdf,  BibTeX]
  •  "*SAT: a System for the Development of Modal Decision Procedures"
    j.w.w. E Giunchiglia
      In 17th International Conference on Automated Deduction (CADE) - Pittsburgh, Pennsylvania, USA - June 17-20, 2000.
    [ps.gz, pdf, BiBTeX]
  • "Evaluating *SAT on TANCS 2000 benchmarks"
    In Tableaux 2000 international conference - University of St Andrews, St Andrews, Scotland, July 4-7
    [ps.gz, pdf, BiBTeX].
  • "A Subset-matching Size-bounded Cache for Satisfiability in Modal Logics"
    j.w.w. E. Giunchiglia 
     
    In Tableaux 2000 international conference - University of St Andrews, St Andrews, Scotland, July 4-7.
    [ps.gz, pdf, BiBTeX]
  • "*SAT System Description"
    In International Workshop on Description Logics (DL'99). Linköping, Sweden, July 30 - August 1 1999.
    [ps.gz, pdf, BiBTeX]
  • "*SAT, KsatC, DLP and TA: a comparative analisys"
    j.w.w. E. Giunchiglia and F. Giunchiglia
    In International Workshop on Description Logics (DL'99). Linköping, Sweden, July 30 - August 1 1999.
    [ps.gz, pdf, BiBTeX]
  •  "More evaluation of decision procedures for modal logics"
    j.w.w. E. Giunchiglia, F. Giunchiglia and R. Sebastiani
     
    In Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98). Trento, Italy, June 2--5 1998. Morgan Kauffmann Publishers
    [ps.gz, pdf, BiBTeX]