Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Massimo Narizzano
@inproceedings{DBLP:conf/ecms/NarizzanoT23,
author = {Massimo Narizzano and
Armando Tacchella},
editor = {Enrico Vicario and
Romeo Bandinelli and
Virginia Fani and
Michele Mastroianni},
title = {Verification Of Data-Intensive Embedded Systems},
booktitle = {Proceedings of the 37th {ECMS} International Conference on Modelling
and Simulation, {ECMS} 2023, Florence, Italy, June 20-23, 2023},
pages = {521--527},
publisher = {European Council for Modeling and Simulation},
year = {2023},
url = {https://doi.org/10.7148/2023-0521},
doi = {10.7148/2023-0521},
timestamp = {Thu, 17 Aug 2023 16:12:10 +0200},
biburl = {https://dblp.org/rec/conf/ecms/NarizzanoT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GiunchigliaMN21,
author = {Enrico Giunchiglia and
Paolo Marin and
Massimo Narizzano},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Reasoning with Quantified Boolean Formulas},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1157--1176},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201014},
doi = {10.3233/FAIA201014},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/GiunchigliaMN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NarizzanoPTV20,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {Automated Requirements-Based Testing of Black-Box Reactive Systems},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {153--169},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_9},
doi = {10.1007/978-3-030-55754-6\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NarizzanoPTV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-06750,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
title = {Automated Requirements-Based Testing of Black-Box Reactive Systems},
journal = {CoRR},
volume = {abs/2005.06750},
year = {2020},
url = {https://arxiv.org/abs/2005.06750},
eprinttype = {arXiv},
eprint = {2005.06750},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-06750.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/NarizzanoPTV19,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
title = {Property specification patterns at work: verification and inconsistency
explanation},
journal = {Innov. Syst. Softw. Eng.},
volume = {15},
number = {3-4},
pages = {307--323},
year = {2019},
url = {https://doi.org/10.1007/s11334-019-00339-1},
doi = {10.1007/S11334-019-00339-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/NarizzanoPTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VuottoNPT19,
author = {Simone Vuotto and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
editor = {Gregory Gay and
Sahar Tahvili and
Michael Unterkalmsteiner},
title = {Automata based test generation with SpecPro},
booktitle = {Proceedings of the 6th International Workshop on Requirements Engineering
and Testing, RET@ICSE 2019, Montreal, QC, Canada, May 28, 2019},
pages = {13--16},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/RET.2019.00010},
doi = {10.1109/RET.2019.00010},
timestamp = {Thu, 09 Mar 2023 15:35:16 +0100},
biburl = {https://dblp.org/rec/conf/icse/VuottoNPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/VuottoNPT19,
author = {Simone Vuotto and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
title = {Poster: Automatic Consistency Checking of Requirements with ReqV},
booktitle = {12th {IEEE} Conference on Software Testing, Validation and Verification,
{ICST} 2019, Xi'an, China, April 22-27, 2019},
pages = {363--366},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICST.2019.00043},
doi = {10.1109/ICST.2019.00043},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/VuottoNPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/NarizzanoPTV18,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Consistency of Property Specification Patterns with Boolean and Constrained
Numerical Signals},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {383--398},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_26},
doi = {10.1007/978-3-319-77935-5\_26},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/NarizzanoPTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/NarizzanoARTTCF17,
author = {Massimo Narizzano and
Gabriele Arnulfo and
Serena Ricci and
Benedetta Toselli and
Martin Tisdall and
Andrea Canessa and
Marco Massimo Fato and
Francesco Cardinale},
title = {{SEEG} assistant: a 3DSlicer extension to support epilepsy surgery},
journal = {{BMC} Bioinform.},
volume = {18},
number = {1},
pages = {124:1--124:13},
year = {2017},
url = {https://doi.org/10.1186/s12859-017-1545-8},
doi = {10.1186/S12859-017-1545-8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/NarizzanoARTTCF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cars/ScorzaMPAANKC17,
author = {Davide Scorza and
Elena De Momi and
Lisa Plaino and
Gaetano Amoroso and
Gabriele Arnulfo and
Massimo Narizzano and
Luis Kabongo and
Francesco Cardinale},
title = {Retrospective evaluation and {SEEG} trajectory analysis for interactive
multi-trajectory planner assistant},
journal = {Int. J. Comput. Assist. Radiol. Surg.},
volume = {12},
number = {10},
pages = {1727--1738},
year = {2017},
url = {https://doi.org/10.1007/s11548-017-1641-2},
doi = {10.1007/S11548-017-1641-2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cars/ScorzaMPAANKC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ras/KhaliliNNT17,
author = {Ali Khalili and
Massimo Narizzano and
Lorenzo Natale and
Armando Tacchella},
title = {Learning middleware models for verification of distributed control
programs},
journal = {Robotics Auton. Syst.},
volume = {92},
pages = {139--151},
year = {2017},
url = {https://doi.org/10.1016/j.robot.2017.01.016},
doi = {10.1016/J.ROBOT.2017.01.016},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ras/KhaliliNNT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-04162,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Simone Vuotto},
title = {Consistency of Property Specification Patterns with Boolean and Constrained
Numerical Signals},
journal = {CoRR},
volume = {abs/1712.04162},
year = {2017},
url = {http://arxiv.org/abs/1712.04162},
eprinttype = {arXiv},
eprint = {1712.04162},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-04162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/MarinNPTG16,
author = {Paolo Marin and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Enrico Giunchiglia},
title = {Twelve Years of {QBF} Evaluations: {QSAT} Is PSPACE-Hard and It Shows},
journal = {Fundam. Informaticae},
volume = {149},
number = {1-2},
pages = {133--158},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1445},
doi = {10.3233/FI-2016-1445},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/MarinNPTG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/KhaliliNT16,
author = {Ali Khalili and
Massimo Narizzano and
Armando Tacchella},
editor = {Giovanni Adorni and
Stefano Cagnoni and
Marco Gori and
Marco Maratea},
title = {Learning for Verification in Embedded Systems: {A} Case Study},
booktitle = {AI*IA 2016: Advances in Artificial Intelligence - XVth International
Conference of the Italian Association for Artificial Intelligence,
Genova, Italy, November 29 - December 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10037},
pages = {525--538},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49130-1\_38},
doi = {10.1007/978-3-319-49130-1\_38},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/KhaliliNT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ArnulfoNCFP15,
author = {Gabriele Arnulfo and
Massimo Narizzano and
Francesco Cardinale and
Marco Fato and
Jaakko Palva},
title = {Automatic segmentation of deep intracerebral electrodes in computed
tomography scans},
journal = {{BMC} Bioinform.},
volume = {16},
pages = {99:1--99:12},
year = {2015},
url = {https://doi.org/10.1186/s12859-015-0511-6},
doi = {10.1186/S12859-015-0511-6},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/ArnulfoNCFP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarinNPTG15,
author = {Paolo Marin and
Massimo Narizzano and
Luca Pulina and
Armando Tacchella and
Enrico Giunchiglia},
editor = {Stefano Bistarelli and
Andrea Formisano and
Marco Maratea},
title = {An Empirical Perspective on Ten Years of {QBF} Solving},
booktitle = {Proceedings of the 22nd {RCRA} International Workshop on Experimental
Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
2015 {(RCRA} 2015) {A} workshop of the {XIV} International Conference
of the Italian Association for Artificial Intelligence (AI*IA 2015),
Ferrara, Italy, September 22, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1451},
pages = {62--75},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1451/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MarinNPTG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KhaliliNTG15,
author = {Ali Khalili and
Massimo Narizzano and
Armando Tacchella and
Enrico Giunchiglia},
editor = {Hong Zhu and
Dan Hao and
Leonardo Mariani and
Rajesh Subramanyan},
title = {Automatic Test-Pattern Generation for Grey-Box Programs},
booktitle = {10th {IEEE/ACM} International Workshop on Automation of Software Test,
{AST} 2015, Florence, Italy, May 23-24, 2015},
pages = {33--37},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/AST.2015.14},
doi = {10.1109/AST.2015.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KhaliliNTG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LewisSBMNG11,
author = {Matthew Lewis and
Tobias Schubert and
Bernd Becker and
Paolo Marin and
Massimo Narizzano and
Enrico Giunchiglia},
title = {Parallel {QBF} Solving with Advanced Knowledge Sharing},
journal = {Fundam. Informaticae},
volume = {107},
number = {2-3},
pages = {139--166},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-398},
doi = {10.3233/FI-2011-398},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LewisSBMNG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0860,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
title = {Clause/Term Resolution and Learning in the Evaluation of Quantified
Boolean Formulas},
journal = {CoRR},
volume = {abs/1111.0860},
year = {2011},
url = {http://arxiv.org/abs/1111.0860},
eprinttype = {arXiv},
eprint = {1111.0860},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AngelettiGNPS10,
author = {Damiano Angeletti and
Enrico Giunchiglia and
Massimo Narizzano and
Alessandra Puddu and
Salvatore Sabina},
title = {Using Bounded Model Checking for Coverage Analysis of Safety-Critical
Software in an Industrial Setting},
journal = {J. Autom. Reason.},
volume = {45},
number = {4},
pages = {397--414},
year = {2010},
url = {https://doi.org/10.1007/s10817-010-9172-3},
doi = {10.1007/S10817-010-9172-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AngelettiGNPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/GiunchigliaMN10,
author = {Enrico Giunchiglia and
Paolo Marin and
Massimo Narizzano},
title = {QuBE7.0},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {7},
number = {2-3},
pages = {83--88},
year = {2010},
url = {https://doi.org/10.3233/sat190079},
doi = {10.3233/SAT190079},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/GiunchigliaMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/RosaGNPP10,
author = {Emanuele Di Rosa and
Enrico Giunchiglia and
Massimo Narizzano and
Gabriele Palma and
Alessandra Puddu},
editor = {Markus Aderhold and
Serge Autexier and
Heiko Mantel},
title = {Automatic generation of high quality test sets via {CBMC}},
booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK,
July 20-21, 2010},
series = {EPiC Series in Computing},
volume = {3},
pages = {65--78},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/zbb8},
doi = {10.29007/ZBB8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/RosaGNPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GiunchigliaMN10,
author = {Enrico Giunchiglia and
Paolo Marin and
Massimo Narizzano},
editor = {Ofer Strichman and
Stefan Szeider},
title = {sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence
Reasoning},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6175},
pages = {85--98},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_9},
doi = {10.1007/978-3-642-14186-7\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GiunchigliaMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/NarizzanoPPT09,
author = {Massimo Narizzano and
Claudia Peschiera and
Luca Pulina and
Armando Tacchella},
title = {Evaluating and certifying QBFs: {A} comparison of state-of-the-art
tools},
journal = {{AI} Commun.},
volume = {22},
number = {4},
pages = {191--210},
year = {2009},
url = {https://doi.org/10.3233/AIC-2009-0468},
doi = {10.3233/AIC-2009-0468},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/NarizzanoPPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/AngelettiGNPPS09,
author = {Damiano Angeletti and
Enrico Giunchiglia and
Massimo Narizzano and
Gabriele Palma and
Alessandra Puddu and
Salvatore Sabina},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Improving the Automatic Test Generation process for Coverage Analysis
using {CBMC}},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper04.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:01 +0100},
biburl = {https://dblp.org/rec/conf/aiia/AngelettiGNPPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/MarinL0N0G09,
author = {Paolo Marin and
Matthew Lewis and
Tobias Schubert and
Massimo Narizzano and
Bernd Becker and
Enrico Giunchiglia},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Evaluation of Knowledge Sharing Strategies in a Parallel {QBF} Solver},
booktitle = {Proceedings of the 16th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA
2009, Reggio Emilia, Italy, December 11-12, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {589},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-589/paper06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/MarinL0N0G09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocast/AngelettiGNPS09,
author = {Damiano Angeletti and
Enrico Giunchiglia and
Massimo Narizzano and
Alessandra Puddu and
Salvatore Sabina},
editor = {Roberto Moreno{-}D{\'{\i}}az and
Franz Pichler and
Alexis Quesada{-}Arencibia},
title = {Automatic Test Generation for Coverage Analysis Using {CBMC}},
booktitle = {Computer Aided Systems Theory - {EUROCAST} 2009, 12th International
Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5717},
pages = {287--294},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04772-5\_38},
doi = {10.1007/978-3-642-04772-5\_38},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocast/AngelettiGNPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AngelettiGNPS09,
author = {Damiano Angeletti and
Enrico Giunchiglia and
Massimo Narizzano and
Alessandra Puddu and
Salvatore Sabina},
title = {Automatic Test Generation for Coverage Analysis of {ERTMS} Software},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {303--306},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.22},
doi = {10.1109/ICST.2009.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/AngelettiGNPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeehpcs/MarinNGLSB09,
author = {Paolo Marin and
Massimo Narizzano and
Enrico Giunchiglia and
Matthew Lewis and
Tobias Schubert and
Bernd Becker},
editor = {Waleed W. Smari and
John P. McIntire},
title = {Comparison of knowledge sharing strategies in a parallel {QBF} solver},
booktitle = {2009 International Conference on High Performance Computing {\&}
Simulation, {HPCS} 2009, Leipzig, Germany, June 21-24, 2009},
pages = {161--167},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/HPCSIM.2009.5195312},
doi = {10.1109/HPCSIM.2009.5195312},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ieeehpcs/MarinNGLSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LewisMSNBG09,
author = {Matthew Lewis and
Paolo Marin and
Tobias Schubert and
Massimo Narizzano and
Bernd Becker and
Enrico Giunchiglia},
editor = {Oliver Kullmann},
title = {PaQuBE: Distributed {QBF} Solving with Advanced Knowledge Sharing},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2009, 12th
International Conference, {SAT} 2009, Swansea, UK, June 30 - July
3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5584},
pages = {509--523},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02777-2\_46},
doi = {10.1007/978-3-642-02777-2\_46},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/LewisMSNBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/GiunchigliaMN09,
author = {Enrico Giunchiglia and
Paolo Marin and
Massimo Narizzano},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Reasoning with Quantified Boolean Formulas},
booktitle = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
pages = {761--780},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-58603-929-5-761},
doi = {10.3233/978-1-58603-929-5-761},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/GiunchigliaMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/GiunchigliaMN08,
author = {Enrico Giunchiglia and
Paolo Marin and
Massimo Narizzano},
editor = {Marco Gavanelli and
Toni Mancini},
title = {Preprocessing Techniques for QBFs},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper09giunchiglia.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/GiunchigliaMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/GiunchigliaNT07,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
title = {Quantifier Structure in Search-Based Procedures for QBFs},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {26},
number = {3},
pages = {497--507},
year = {2007},
url = {https://doi.org/10.1109/TCAD.2006.888264},
doi = {10.1109/TCAD.2006.888264},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/GiunchigliaNT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/NarizzanoPT07,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
editor = {Roberto Basili and
Maria Teresa Pazienza},
title = {Ranking and Reputation Systems in the {QBF} Competition},
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},
series = {Lecture Notes in Computer Science},
volume = {4733},
pages = {97--108},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74782-6\_10},
doi = {10.1007/978-3-540-74782-6\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/NarizzanoPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/GiunchigliaNT06,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
title = {Clause/Term Resolution and Learning in the Evaluation of Quantified
Boolean Formulas},
journal = {J. Artif. Intell. Res.},
volume = {26},
pages = {371--416},
year = {2006},
url = {https://doi.org/10.1613/jair.1959},
doi = {10.1613/JAIR.1959},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/GiunchigliaNT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/NarizzanoPT06,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
title = {Report of the Third {QBF} Solvers Evaluation},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {2},
number = {1-4},
pages = {145--164},
year = {2006},
url = {https://doi.org/10.3233/sat190019},
doi = {10.3233/SAT190019},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/NarizzanoPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GiunchigliaNT06,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Georges G. E. Gielen},
title = {Quantifier structure in search based procedures for QBFs},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {812--817},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.244148},
doi = {10.1109/DATE.2006.244148},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/GiunchigliaNT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/NarizzanoPT06,
author = {Massimo Narizzano and
Luca Pulina and
Armando Tacchella},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {The {QBFEVAL} Web Portal},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {494--497},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_45},
doi = {10.1007/11853886\_45},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/NarizzanoPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GiunchigliaNT04,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Mark Wallace},
title = {Monotone Literals and Learning in {QBF} Reasoning},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {260--273},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_21},
doi = {10.1007/978-3-540-30201-8\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GiunchigliaNT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GiunchigliaNT04,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {QuBE++: An Efficient {QBF} Solver},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {201--213},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_15},
doi = {10.1007/978-3-540-30494-4\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GiunchigliaNT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GiunchigliaNT04,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
title = {{QBF} Reasoning on Real-World Instances},
booktitle = {{SAT} 2004 - The Seventh International Conference on Theory and Applications
of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada,
Online Proceedings},
year = {2004},
url = {http://www.satisfiability.org/SAT04/programme/94.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/GiunchigliaNT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GiunchigliaNT04a,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {{QBF} Reasoning on Real-World Instances},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {105--121},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_9},
doi = {10.1007/11527695\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GiunchigliaNT04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BerreNST04,
author = {Daniel Le Berre and
Massimo Narizzano and
Laurent Simon and
Armando Tacchella},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {The Second {QBF} Solvers Comparative Evaluation},
booktitle = {Theory and Applications of Satisfiability Testing, 7th International
Conference, {SAT} 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {376--392},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_28},
doi = {10.1007/11527695\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BerreNST04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GiunchigliaNT03,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
title = {Backjumping for Quantified Boolean Logic satisfiability},
journal = {Artif. Intell.},
volume = {145},
number = {1-2},
pages = {99--120},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00373-9},
doi = {10.1016/S0004-3702(02)00373-9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/GiunchigliaNT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/GentGNRT03,
author = {Ian P. Gent and
Enrico Giunchiglia and
Massimo Narizzano and
Andrew G. D. Rowley and
Armando Tacchella},
editor = {Enrico Giunchiglia and
Armando Tacchella},
title = {Watched Data Structures for {QBF} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing, 6th International
Conference, {SAT} 2003. Santa Margherita Ligure, Italy, May 5-8, 2003
Selected Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2919},
pages = {25--36},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24605-3\_3},
doi = {10.1007/978-3-540-24605-3\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/GentGNRT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GiunchigliaNT02,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
title = {Learning for Quantified Boolean Logic Satisfiability},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
and Fourteenth Conference on Innovative Applications of Artificial
Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
pages = {649--654},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-097.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GiunchigliaNT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/GiunchigliaNTV01,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella and
Moshe Y. Vardi},
title = {Towards an Efficient Library for {SAT:} a Manifesto},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {290--310},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00329-4},
doi = {10.1016/S1571-0653(04)00329-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/endm/GiunchigliaNTV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/GiunchigliaNT01,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Floriana Esposito},
title = {An Analysis of Backjumping and Trivial Truth in Quantified Boolean
Formulas Satisfiability},
booktitle = {AI*IA 2001: Advances in Artificial Intelligence, 7th Congress of the
Italian Association for Artificial Intelligence, Bari, Italy, September
25-28, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2175},
pages = {111--122},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45411-X\_13},
doi = {10.1007/3-540-45411-X\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/GiunchigliaNT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GiunchigliaNT01,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {{QUBE:} {A} System for Deciding Quantified Boolean Formulas Satisfiability},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {364--369},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_27},
doi = {10.1007/3-540-45744-5\_27},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/GiunchigliaNT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GiunchigliaNT01,
author = {Enrico Giunchiglia and
Massimo Narizzano and
Armando Tacchella},
editor = {Bernhard Nebel},
title = {Backjumping for Quantified Boolean Logic Satisfiability},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {275--281},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GiunchigliaNT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
