Publications

157 entries « 2 of 4 »

2009

Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore

Automatic Test Generation for Coverage Analysis Using CBMC Inproceedings

Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 287–294, 2009.

Links | BibTeX

Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore

Automatic Test Generation for Coverage Analysis of ERTMS Software Inproceedings

Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, pp. 303–306, 2009.

Links | BibTeX

Narizzano, Massimo; Peschiera, Claudia; Pulina, Luca; Tacchella, Armando

Evaluating and certifying QBFs: A comparison of state-of-the-art tools Journal Article

AI Commun., 22 (4), pp. 191–210, 2009.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

A self-adaptive multi-engine solver for quantified Boolean formulas Journal Article

Constraints, 14 (1), pp. 80–116, 2009.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas Inproceedings

Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings, pp. 350–365, 2009.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

A Structural Approach to Reasoning with Quantified Boolean Formulas Inproceedings

IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pp. 596–602, 2009.

Links | BibTeX

Sebastiani, Roberto; Tacchella, Armando

SAT Techniques for Modal and Description Logics Incollection

Handbook of Satisfiability, pp. 781–824, 2009.

Links | BibTeX

Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore

Automatic Test Generation for Coverage Analysis Using CBMC Inproceedings

Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, pp. 287–294, 2009.

Links | BibTeX

Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore

Automatic Test Generation for Coverage Analysis of ERTMS Software Inproceedings

Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, pp. 303–306, 2009.

Links | BibTeX

Marin, Paolo; Narizzano, Massimo; Giunchiglia, Enrico; Lewis, Matthew D T; Schubert, Tobias; Becker, Bernd

Comparison of knowledge sharing strategies in a parallel QBF solver Inproceedings

2009 International Conference on High Performance Computing & Simulation, HPCS 2009, Leipzig, Germany, June 21-24, 2009, pp. 161–167, 2009.

Links | BibTeX

Lewis, Matthew D T; Marin, Paolo; Schubert, Tobias; Narizzano, Massimo; Becker, Bernd; Giunchiglia, Enrico

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing Inproceedings

Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, pp. 509–523, 2009.

Links | BibTeX

Armando, Alessandro; Giunchiglia, Enrico; Ponta, Serena Elisa

Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach Inproceedings

Trust, Privacy and Security in Digital Business, 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings, pp. 63–72, 2009.

Links | BibTeX

Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo

Reasoning with Quantified Boolean Formulas Incollection

Handbook of Satisfiability, pp. 761–780, 2009.

Links | BibTeX

2008

Speckenmeyer, Ewald; Tacchella, Armando; Manquinho, Vasco M; Li, Chu Min

Guest Editors Conclusion Journal Article

JSAT, 4 (2-4), 2008.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings Inproceedings

Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 528–542, 2008.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

QuBIS: An (In)complete Solver for Quantified Boolean Formulas Inproceedings

MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 34–43, 2008.

Links | BibTeX

Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco

On the relation among answer set solvers Journal Article

Ann. Math. Artif. Intell., 53 (1-4), pp. 169–204, 2008.

Links | BibTeX

Rosa, Emanuele Di; Giunchiglia, Enrico; Maratea, Marco

Computing All Optimal Solutions in Satisfiability Problems with Preferences Inproceedings

Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings, pp. 603–607, 2008.

Links | BibTeX

Rosa, Emanuele Di; Giunchiglia, Enrico; Maratea, Marco

A new Approach for Solving Satisfiability Problems with Qualitative Preferences Inproceedings

ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 510–514, 2008.

Links | BibTeX

2007

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Quantifier Structure in Search-Based Procedures for QBFs Journal Article

IEEE Trans. on CAD of Integrated Circuits and Systems, 26 (3), pp. 497–507, 2007.

Links | BibTeX

Narizzano, Massimo; Pulina, Luca; Tacchella, Armando

Ranking and Reputation Systems in the QBF Competition Inproceedings

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings, pp. 97–108, 2007.

Links | BibTeX

Pulina, Luca; Tacchella, Armando

A Multi-engine Solver for Quantified Boolean Formulas Inproceedings

Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 574–589, 2007.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

Planning as Satisfiability with Preferences Inproceedings

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, pp. 987–992, 2007.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

SAT-Based Planning with Minimal-#actions Plans and "soft" Goals Inproceedings

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings, pp. 422–433, 2007.

Links | BibTeX

2006

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas Journal Article

J. Artif. Intell. Res. (JAIR), 26 , pp. 371–416, 2006.

Links | BibTeX

Narizzano, Massimo; Pulina, Luca; Tacchella, Armando

Report of the Third QBF Solvers Evaluation Journal Article

JSAT, 2 (1-4), pp. 145–164, 2006.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Quantifier structure in search based procedures for QBFs Inproceedings

Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 812–817, 2006.

Links | BibTeX

Narizzano, Massimo; Pulina, Luca; Tacchella, Armando

The QBFEVAL Web Portal Inproceedings

Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 494–497, 2006.

Links | BibTeX

Aiello, Luigia Carlucci; Giunchiglia, Enrico; Serafini, Luciano

Logics For Artificial Intelligence Journal Article

Intelligenza Artificiale, 3 (1-2), pp. 7–13, 2006.

BibTeX

Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco

Answer Set Programming Based on Propositional Satisfiability Journal Article

J. Autom. Reasoning, 36 (4), pp. 345–377, 2006.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

Solving Optimization Problems with DLL Inproceedings

ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 377–381, 2006.

BibTeX

Giunchiglia, Enrico; Maratea, Marco

optsat: A Tool for Solving SAT Related Optimization Problems Inproceedings

Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 485–489, 2006.

Links | BibTeX

2005

Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Giunchiglia, Fausto; Tacchella, Armando

SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective Inproceedings

Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, pp. 46–58, 2005.

Links | BibTeX

Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Idini, Massimo; Maratea, Marco

TSAT++: an Open Platform for Satisfiability Modulo Theories Journal Article

Electr. Notes Theor. Comput. Sci., 125 (3), pp. 25–36, 2005.

Links | BibTeX

Nareyek, Alexander; Freuder, Eugene C; Fourer, Robert; Giunchiglia, Enrico; Goldman, Robert P; Kautz, Henry A; Rintanen, Jussi; Tate, Austin

Constraints and AI Planning Journal Article

IEEE Intelligent Systems, 20 (2), pp. 62–72, 2005.

Links | BibTeX

Giunchiglia, Enrico; Walsh, Toby

Satisfiability in the Year 2005 Journal Article

J. Autom. Reasoning, 35 (1-3), pp. 1–2, 2005.

Links | BibTeX

Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco

The SAT-based Approach to Separation Logic Journal Article

J. Autom. Reasoning, 35 (1-3), pp. 237–263, 2005.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming Inproceedings

AI*IA, pp. 122–134, 2005.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

An Experimental Study of Search Strategies and Heuristics in Answer Set Programming Inproceedings

Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005, 2005.

Links | BibTeX

Giunchiglia, Fausto; Yatskevich, Mikalai; Giunchiglia, Enrico

Efficient Semantic Matching Inproceedings

The Semantic Web: Research and Applications, Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29 - June 1, 2005, Proceedings, pp. 272–289, 2005.

Links | BibTeX

Giunchiglia, Enrico; Maratea, Marco

On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) Inproceedings

Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 37–51, 2005.

Links | BibTeX

2004

Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco

A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints Inproceedings

SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings, 2004.

Links | BibTeX

Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco

A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints Inproceedings

Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 16–29, 2004.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Monotone Literals and Learning in QBF Reasoning Inproceedings

Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings, pp. 260–273, 2004.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

QuBE++: An Efficient QBF Solver Inproceedings

Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 201–213, 2004.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

QBF Reasoning on Real-World Instances Inproceedings

SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings, 2004.

Links | BibTeX

Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

QBF Reasoning on Real-World Instances Inproceedings

Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 105–121, 2004.

Links | BibTeX

Berre, Daniel Le; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando

The Second QBF Solvers Comparative Evaluation Inproceedings

Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers, pp. 376–392, 2004.

Links | BibTeX

Giunchiglia, Enrico; Tacchella, Armando (Ed.)

Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers Proceeding

Springer, 2919 , 2004, ISBN: 3-540-20851-8.

BibTeX

Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson

Nonmonotonic causal theories Journal Article

Artif. Intell., 153 (1-2), pp. 49–104, 2004.

Links | BibTeX

157 entries « 2 of 4 »