2010
|
Pulina, Luca; Tacchella, Armando An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing Journal Article Fundam. Inform., 102 (3-4), pp. 391–427, 2010. Links | BibTeX @article{DBLP:journals/fuin/PulinaT10,
title = {An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.3233/FI-2010-312},
doi = {10.3233/FI-2010-312},
year = {2010},
date = {2010-01-01},
journal = {Fundam. Inform.},
volume = {102},
number = {3-4},
pages = {391--427},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Pulina, Luca; Tacchella, Armando AQME'10 Journal Article JSAT, 7 (2-3), pp. 65–70, 2010. Links | BibTeX @article{DBLP:journals/jsat/PulinaT10,
title = {AQME'10},
author = {Luca Pulina and Armando Tacchella},
url = {http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_5_Pulina.pdf},
year = {2010},
date = {2010-01-01},
journal = {JSAT},
volume = {7},
number = {2-3},
pages = {65--70},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Stern, David H; Samulowitz, Horst; Herbrich, Ralf; Graepel, Thore; Pulina, Luca; Tacchella, Armando Collaborative Expert Portfolio Management Inproceedings Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, 2010. Links | BibTeX @inproceedings{DBLP:conf/aaai/SternSHGPT10,
title = {Collaborative Expert Portfolio Management},
author = {David H. Stern and Horst Samulowitz and Ralf Herbrich and Thore Graepel and Luca Pulina and Armando Tacchella},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1857},
year = {2010},
date = {2010-01-01},
booktitle = {Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010},
crossref = {DBLP:conf/aaai/2010},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Peschiera, Claudia; Pulina, Luca; Tacchella, Armando Designing a solver competition: the QBFEVAL'10 case study Inproceedings Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010, pp. 19–32, 2010. Links | BibTeX @inproceedings{DBLP:conf/cade/PeschieraPT10,
title = {Designing a solver competition: the QBFEVAL'10 case study},
author = {Claudia Peschiera and Luca Pulina and Armando Tacchella},
url = {http://www.easychair.org/publications/?page=23618111},
year = {2010},
date = {2010-01-01},
booktitle = {Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions, EMSQMS 2010, Edinburgh, UK, July 20, 2010},
pages = {19--32},
crossref = {DBLP:conf/cade/2010emsqms},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Pulina, Luca; Tacchella, Armando An Abstraction-Refinement Approach to Verification of Artificial Neural Networks Inproceedings Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings, pp. 243–257, 2010. Links | BibTeX @inproceedings{DBLP:conf/cav/PulinaT10,
title = {An Abstraction-Refinement Approach to Verification of Artificial Neural Networks},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-642-14295-6_24},
doi = {10.1007/978-3-642-14295-6_24},
year = {2010},
date = {2010-01-01},
booktitle = {Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
pages = {243--257},
crossref = {DBLP:conf/cav/2010},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando Safe and effective learning: A case study Inproceedings IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010, pp. 4809–4814, 2010. Links | BibTeX @inproceedings{DBLP:conf/icra/MettaNPPT10,
title = {Safe and effective learning: A case study},
author = {Giorgio Metta and Lorenzo Natale and Shashank Pathak and Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1109/ROBOT.2010.5509892},
doi = {10.1109/ROBOT.2010.5509892},
year = {2010},
date = {2010-01-01},
booktitle = {IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010},
pages = {4809--4814},
crossref = {DBLP:conf/icra/2010},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Peschiera, Claudia; Pulina, Luca; Tacchella, Armando; Bubeck, Uwe; Kullmann, Oliver; Lynce, Inês The Seventh QBF Solvers Evaluation (QBFEVAL'10) Inproceedings Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 237–250, 2010. Links | BibTeX @inproceedings{DBLP:conf/sat/PeschieraPTBKL10,
title = {The Seventh QBF Solvers Evaluation (QBFEVAL'10)},
author = {Claudia Peschiera and Luca Pulina and Armando Tacchella and Uwe Bubeck and Oliver Kullmann and Inês Lynce},
url = {http://dx.doi.org/10.1007/978-3-642-14186-7_20},
doi = {10.1007/978-3-642-14186-7_20},
year = {2010},
date = {2010-01-01},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
pages = {237--250},
crossref = {DBLP:conf/sat/2010},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Rosa, Emanuele Di; Giunchiglia, Enrico; Maratea, Marco Solving satisfiability problems with preferences Journal Article Constraints, 15 (4), pp. 485–515, 2010. Links | BibTeX @article{DBLP:journals/constraints/RosaGM10,
title = {Solving satisfiability problems with preferences},
author = {Emanuele Di Rosa and Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.1007/s10601-010-9095-y},
doi = {10.1007/s10601-010-9095-y},
year = {2010},
date = {2010-01-01},
journal = {Constraints},
volume = {15},
number = {4},
pages = {485--515},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Angeletti, Damiano; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; Sabina, Salvatore Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting Journal Article J. Autom. Reasoning, 45 (4), pp. 397–414, 2010. Links | BibTeX @article{DBLP:journals/jar/AngelettiGNPS10,
title = {Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting},
author = {Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina},
url = {http://dx.doi.org/10.1007/s10817-010-9172-3},
doi = {10.1007/s10817-010-9172-3},
year = {2010},
date = {2010-01-01},
journal = {J. Autom. Reasoning},
volume = {45},
number = {4},
pages = {397--414},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo QuBE7.0 Journal Article JSAT, 7 (2-3), pp. 83–88, 2010. Links | BibTeX @article{DBLP:journals/jsat/GiunchigliaMN10,
title = {QuBE7.0},
author = {Enrico Giunchiglia and Paolo Marin and Massimo Narizzano},
url = {http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_8_Giunchiglia.pdf},
year = {2010},
date = {2010-01-01},
journal = {JSAT},
volume = {7},
number = {2-3},
pages = {83--88},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Rosa, Emanuele Di; Giunchiglia, Enrico; Narizzano, Massimo; Palma, Gabriele; Puddu, Alessandra Automatic generation of high quality test sets via CBMC Inproceedings 6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010, pp. 65–78, 2010. Links | BibTeX @inproceedings{DBLP:conf/cade/RosaGNPP10,
title = {Automatic generation of high quality test sets via CBMC},
author = {Emanuele Di Rosa and Enrico Giunchiglia and Massimo Narizzano and Gabriele Palma and Alessandra Puddu},
url = {http://www.easychair.org/publications/?page=751305907},
year = {2010},
date = {2010-01-01},
booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010},
pages = {65--78},
crossref = {DBLP:conf/cade/2010verify},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning Inproceedings Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings, pp. 85–98, 2010. Links | BibTeX @inproceedings{DBLP:conf/sat/GiunchigliaMN10,
title = {sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning},
author = {Enrico Giunchiglia and Paolo Marin and Massimo Narizzano},
url = {http://dx.doi.org/10.1007/978-3-642-14186-7_9},
doi = {10.1007/978-3-642-14186-7_9},
year = {2010},
date = {2010-01-01},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2010, 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
pages = {85--98},
crossref = {DBLP:conf/sat/2010},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/eurocast/AngelettiGNPS09b,
title = {Automatic Test Generation for Coverage Analysis Using CBMC},
author = {Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina},
url = {http://dx.doi.org/10.1007/978-3-642-04772-5_38},
doi = {10.1007/978-3-642-04772-5_38},
year = {2009},
date = {2009-01-01},
booktitle = {Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers},
pages = {287--294},
crossref = {DBLP:conf/eurocast/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/icst/AngelettiGNPS09b,
title = {Automatic Test Generation for Coverage Analysis of ERTMS Software},
author = {Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina},
url = {http://dx.doi.org/10.1109/ICST.2009.22},
doi = {10.1109/ICST.2009.22},
year = {2009},
date = {2009-01-01},
booktitle = {Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {303--306},
crossref = {DBLP:conf/icst/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @article{DBLP:journals/aicom/NarizzanoPPT09,
title = {Evaluating and certifying QBFs: A comparison of state-of-the-art tools},
author = {Massimo Narizzano and Claudia Peschiera and Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.3233/AIC-2009-0468},
doi = {10.3233/AIC-2009-0468},
year = {2009},
date = {2009-01-01},
journal = {AI Commun.},
volume = {22},
number = {4},
pages = {191--210},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @article{DBLP:journals/constraints/PulinaT09,
title = {A self-adaptive multi-engine solver for quantified Boolean formulas},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/s10601-008-9051-2},
doi = {10.1007/s10601-008-9051-2},
year = {2009},
date = {2009-01-01},
journal = {Constraints},
volume = {14},
number = {1},
pages = {80--116},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @inproceedings{DBLP:conf/frocos/PulinaT09,
title = {Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-642-04222-5_22},
doi = {10.1007/978-3-642-04222-5_22},
year = {2009},
date = {2009-01-01},
booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings},
pages = {350--365},
crossref = {DBLP:conf/frocos/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/ijcai/PulinaT09,
title = {A Structural Approach to Reasoning with Quantified Boolean Formulas},
author = {Luca Pulina and Armando Tacchella},
url = {http://ijcai.org/papers09/Papers/IJCAI09-105.pdf},
year = {2009},
date = {2009-01-01},
booktitle = {IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009},
pages = {596--602},
crossref = {DBLP:conf/ijcai/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Sebastiani, Roberto; Tacchella, Armando SAT Techniques for Modal and Description Logics Incollection Handbook of Satisfiability, pp. 781–824, 2009. Links | BibTeX @incollection{DBLP:series/faia/SebastianiT09,
title = {SAT Techniques for Modal and Description Logics},
author = {Roberto Sebastiani and Armando Tacchella},
url = {http://dx.doi.org/10.3233/978-1-58603-929-5-781},
doi = {10.3233/978-1-58603-929-5-781},
year = {2009},
date = {2009-01-01},
booktitle = {Handbook of Satisfiability},
pages = {781--824},
crossref = {DBLP:series/faia/2009-185},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
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 @inproceedings{DBLP:conf/eurocast/AngelettiGNPS09,
title = {Automatic Test Generation for Coverage Analysis Using CBMC},
author = {Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina},
url = {http://dx.doi.org/10.1007/978-3-642-04772-5_38},
doi = {10.1007/978-3-642-04772-5_38},
year = {2009},
date = {2009-01-01},
booktitle = {Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers},
pages = {287--294},
crossref = {DBLP:conf/eurocast/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/icst/AngelettiGNPS09,
title = {Automatic Test Generation for Coverage Analysis of ERTMS Software},
author = {Damiano Angeletti and Enrico Giunchiglia and Massimo Narizzano and Alessandra Puddu and Salvatore Sabina},
url = {http://dx.doi.org/10.1109/ICST.2009.22},
doi = {10.1109/ICST.2009.22},
year = {2009},
date = {2009-01-01},
booktitle = {Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {303--306},
crossref = {DBLP:conf/icst/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/ieeehpcs/MarinNGLSB09,
title = {Comparison of knowledge sharing strategies in a parallel QBF solver},
author = {Paolo Marin and Massimo Narizzano and Enrico Giunchiglia and Matthew D. T. Lewis and Tobias Schubert and Bernd Becker},
url = {http://dx.doi.org/10.1109/HPCSIM.2009.5195312},
doi = {10.1109/HPCSIM.2009.5195312},
year = {2009},
date = {2009-01-01},
booktitle = {2009 International Conference on High Performance Computing & Simulation, HPCS 2009, Leipzig, Germany, June 21-24, 2009},
pages = {161--167},
crossref = {DBLP:conf/ieeehpcs/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/sat/LewisMSNBG09,
title = {PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing},
author = {Matthew D. T. Lewis and Paolo Marin and Tobias Schubert and Massimo Narizzano and Bernd Becker and Enrico Giunchiglia},
url = {http://dx.doi.org/10.1007/978-3-642-02777-2_46},
doi = {10.1007/978-3-642-02777-2_46},
year = {2009},
date = {2009-01-01},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings},
pages = {509--523},
crossref = {DBLP:conf/sat/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/trustbus/ArmandoGP09,
title = {Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach},
author = {Alessandro Armando and Enrico Giunchiglia and Serena Elisa Ponta},
url = {http://dx.doi.org/10.1007/978-3-642-03748-1_7},
doi = {10.1007/978-3-642-03748-1_7},
year = {2009},
date = {2009-01-01},
booktitle = {Trust, Privacy and Security in Digital Business, 6th International Conference, TrustBus 2009, Linz, Austria, September 3-4, 2009. Proceedings},
pages = {63--72},
crossref = {DBLP:conf/trustbus/2009},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo Reasoning with Quantified Boolean Formulas Incollection Handbook of Satisfiability, pp. 761–780, 2009. Links | BibTeX @incollection{DBLP:series/faia/GiunchigliaMN09,
title = {Reasoning with Quantified Boolean Formulas},
author = {Enrico Giunchiglia and Paolo Marin and Massimo Narizzano},
url = {http://dx.doi.org/10.3233/978-1-58603-929-5-761},
doi = {10.3233/978-1-58603-929-5-761},
year = {2009},
date = {2009-01-01},
booktitle = {Handbook of Satisfiability},
pages = {761--780},
crossref = {DBLP:series/faia/2009-185},
keywords = {},
pubstate = {published},
tppubtype = {incollection}
}
|
2008
|
Speckenmeyer, Ewald; Tacchella, Armando; Manquinho, Vasco M; Li, Chu Min Guest Editors Conclusion Journal Article JSAT, 4 (2-4), 2008. Links | BibTeX @article{DBLP:journals/jsat/SpeckenmeyerTML08,
title = {Guest Editors Conclusion},
author = {Ewald Speckenmeyer and Armando Tacchella and Vasco M. Manquinho and Chu Min Li},
url = {http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_conclusions.pdf},
year = {2008},
date = {2008-01-01},
journal = {JSAT},
volume = {4},
number = {2-4},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @inproceedings{DBLP:conf/lpar/PulinaT08,
title = {Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-540-89439-1_37},
doi = {10.1007/978-3-540-89439-1_37},
year = {2008},
date = {2008-01-01},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings},
pages = {528--542},
crossref = {DBLP:conf/lpar/2008},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/micai/PulinaT08,
title = {QuBIS: An (In)complete Solver for Quantified Boolean Formulas},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-540-88636-5_3},
doi = {10.1007/978-3-540-88636-5_3},
year = {2008},
date = {2008-01-01},
booktitle = {MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings},
pages = {34--43},
crossref = {DBLP:conf/micai/2008},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @article{DBLP:journals/amai/GiunchigliaLM08,
title = {On the relation among answer set solvers},
author = {Enrico Giunchiglia and Nicola Leone and Marco Maratea},
url = {http://dx.doi.org/10.1007/s10472-009-9113-1},
doi = {10.1007/s10472-009-9113-1},
year = {2008},
date = {2008-01-01},
journal = {Ann. Math. Artif. Intell.},
volume = {53},
number = {1-4},
pages = {169--204},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @inproceedings{DBLP:conf/cp/RosaGM08,
title = {Computing All Optimal Solutions in Satisfiability Problems with Preferences},
author = {Emanuele Di Rosa and Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.1007/978-3-540-85958-1_50},
doi = {10.1007/978-3-540-85958-1_50},
year = {2008},
date = {2008-01-01},
booktitle = {Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
pages = {603--607},
crossref = {DBLP:conf/cp/2008},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/ecai/RosaGM08,
title = {A new Approach for Solving Satisfiability Problems with Qualitative Preferences},
author = {Emanuele Di Rosa and Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.3233/978-1-58603-891-5-510},
doi = {10.3233/978-1-58603-891-5-510},
year = {2008},
date = {2008-01-01},
booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings},
pages = {510--514},
crossref = {DBLP:conf/ecai/2008},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @article{DBLP:journals/tcad/GiunchigliaNT07,
title = {Quantifier Structure in Search-Based Procedures for QBFs},
author = {Enrico Giunchiglia and Massimo Narizzano and Armando Tacchella},
url = {http://dx.doi.org/10.1109/TCAD.2006.888264},
doi = {10.1109/TCAD.2006.888264},
year = {2007},
date = {2007-01-01},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {26},
number = {3},
pages = {497--507},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @inproceedings{DBLP:conf/aiia/NarizzanoPT07,
title = {Ranking and Reputation Systems in the QBF Competition},
author = {Massimo Narizzano and Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-540-74782-6_10},
doi = {10.1007/978-3-540-74782-6_10},
year = {2007},
date = {2007-01-01},
booktitle = {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},
pages = {97--108},
crossref = {DBLP:conf/aiia/2007},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/cp/PulinaT07,
title = {A Multi-engine Solver for Quantified Boolean Formulas},
author = {Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-540-74970-7_41},
doi = {10.1007/978-3-540-74970-7_41},
year = {2007},
date = {2007-01-01},
booktitle = {Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings},
pages = {574--589},
crossref = {DBLP:conf/cp/2007},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/aaai/GiunchigliaM07,
title = {Planning as Satisfiability with Preferences},
author = {Enrico Giunchiglia and Marco Maratea},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-157.php},
year = {2007},
date = {2007-01-01},
booktitle = {Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {987--992},
crossref = {DBLP:conf/aaai/2007},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/aiia/GiunchigliaM07,
title = {SAT-Based Planning with Minimal-#actions Plans and "soft" Goals},
author = {Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.1007/978-3-540-74782-6_37},
doi = {10.1007/978-3-540-74782-6_37},
year = {2007},
date = {2007-01-01},
booktitle = {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},
pages = {422--433},
crossref = {DBLP:conf/aiia/2007},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @article{DBLP:journals/jair/GiunchigliaNT06,
title = {Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas},
author = {Enrico Giunchiglia and Massimo Narizzano and Armando Tacchella},
url = {http://dx.doi.org/10.1613/jair.1959},
doi = {10.1613/jair.1959},
year = {2006},
date = {2006-01-01},
journal = {J. Artif. Intell. Res. (JAIR)},
volume = {26},
pages = {371--416},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @article{DBLP:journals/jsat/NarizzanoPT06,
title = {Report of the Third QBF Solvers Evaluation},
author = {Massimo Narizzano and Luca Pulina and Armando Tacchella},
url = {http://jsat.ewi.tudelft.nl/content/volume2/JSAT2_6_Narizzano.pdf},
year = {2006},
date = {2006-01-01},
journal = {JSAT},
volume = {2},
number = {1-4},
pages = {145--164},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @inproceedings{DBLP:conf/date/GiunchigliaNT06,
title = {Quantifier structure in search based procedures for QBFs},
author = {Enrico Giunchiglia and Massimo Narizzano and Armando Tacchella},
url = {http://dx.doi.org/10.1109/DATE.2006.244148},
doi = {10.1109/DATE.2006.244148},
year = {2006},
date = {2006-01-01},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006},
pages = {812--817},
crossref = {DBLP:conf/date/2006p},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/jelia/NarizzanoPT06,
title = {The QBFEVAL Web Portal},
author = {Massimo Narizzano and Luca Pulina and Armando Tacchella},
url = {http://dx.doi.org/10.1007/11853886_45},
doi = {10.1007/11853886_45},
year = {2006},
date = {2006-01-01},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings},
pages = {494--497},
crossref = {DBLP:conf/jelia/2006},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
Aiello, Luigia Carlucci; Giunchiglia, Enrico; Serafini, Luciano Logics For Artificial Intelligence Journal Article Intelligenza Artificiale, 3 (1-2), pp. 7–13, 2006. BibTeX @article{DBLP:journals/ia/AielloGS06,
title = {Logics For Artificial Intelligence},
author = {Luigia Carlucci Aiello and Enrico Giunchiglia and Luciano Serafini},
year = {2006},
date = {2006-01-01},
journal = {Intelligenza Artificiale},
volume = {3},
number = {1-2},
pages = {7--13},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @article{DBLP:journals/jar/GiunchigliaLM06,
title = {Answer Set Programming Based on Propositional Satisfiability},
author = {Enrico Giunchiglia and Yuliya Lierler and Marco Maratea},
url = {http://dx.doi.org/10.1007/s10817-006-9033-2},
doi = {10.1007/s10817-006-9033-2},
year = {2006},
date = {2006-01-01},
journal = {J. Autom. Reasoning},
volume = {36},
number = {4},
pages = {345--377},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @inproceedings{DBLP:conf/ecai/GiunchigliaM06,
title = {Solving Optimization Problems with DLL},
author = {Enrico Giunchiglia and Marco Maratea},
year = {2006},
date = {2006-01-01},
booktitle = {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},
pages = {377--381},
crossref = {DBLP:conf/ecai/2006},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/jelia/GiunchigliaM06,
title = {optsat: A Tool for Solving SAT Related Optimization Problems},
author = {Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.1007/11853886_43},
doi = {10.1007/11853886_43},
year = {2006},
date = {2006-01-01},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings},
pages = {485--489},
crossref = {DBLP:conf/jelia/2006},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @inproceedings{DBLP:conf/birthday/ArmandoCGGT05,
title = {SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective},
author = {Alessandro Armando and Claudio Castellini and Enrico Giunchiglia and Fausto Giunchiglia and Armando Tacchella},
url = {http://dx.doi.org/10.1007/978-3-540-32254-2_4},
doi = {10.1007/978-3-540-32254-2_4},
year = {2005},
date = {2005-01-01},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday},
pages = {46--58},
crossref = {DBLP:conf/birthday/2005siekmann},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|
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 @article{DBLP:journals/entcs/ArmandoCGIM05,
title = {TSAT++: an Open Platform for Satisfiability Modulo Theories},
author = {Alessandro Armando and Claudio Castellini and Enrico Giunchiglia and Massimo Idini and Marco Maratea},
url = {http://dx.doi.org/10.1016/j.entcs.2004.06.065},
doi = {10.1016/j.entcs.2004.06.065},
year = {2005},
date = {2005-01-01},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {125},
number = {3},
pages = {25--36},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @article{DBLP:journals/expert/NareyekFFGGKRT05,
title = {Constraints and AI Planning},
author = {Alexander Nareyek and Eugene C. Freuder and Robert Fourer and Enrico Giunchiglia and Robert P. Goldman and Henry A. Kautz and Jussi Rintanen and Austin Tate},
url = {http://dx.doi.org/10.1109/MIS.2005.25},
doi = {10.1109/MIS.2005.25},
year = {2005},
date = {2005-01-01},
journal = {IEEE Intelligent Systems},
volume = {20},
number = {2},
pages = {62--72},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Walsh, Toby Satisfiability in the Year 2005 Journal Article J. Autom. Reasoning, 35 (1-3), pp. 1–2, 2005. Links | BibTeX @article{DBLP:journals/jar/GiunchigliaW05,
title = {Satisfiability in the Year 2005},
author = {Enrico Giunchiglia and Toby Walsh},
url = {http://dx.doi.org/10.1007/s10817-006-9041-2},
doi = {10.1007/s10817-006-9041-2},
year = {2005},
date = {2005-01-01},
journal = {J. Autom. Reasoning},
volume = {35},
number = {1-3},
pages = {1--2},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
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 @article{DBLP:journals/jar/ArmandoCGM05,
title = {The SAT-based Approach to Separation Logic},
author = {Alessandro Armando and Claudio Castellini and Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.1007/s10817-005-9002-1},
doi = {10.1007/s10817-005-9002-1},
year = {2005},
date = {2005-01-01},
journal = {J. Autom. Reasoning},
volume = {35},
number = {1-3},
pages = {237--263},
keywords = {},
pubstate = {published},
tppubtype = {article}
}
|
Giunchiglia, Enrico; Maratea, Marco Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming Inproceedings AI*IA, pp. 122–134, 2005. Links | BibTeX @inproceedings{DBLP:conf/aiia/GiunchigliaM05,
title = {Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming},
author = {Enrico Giunchiglia and Marco Maratea},
url = {http://dx.doi.org/10.1007/11558590_13},
doi = {10.1007/11558590_13},
year = {2005},
date = {2005-01-01},
booktitle = {AI*IA},
pages = {122--134},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
|