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]
|