Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Marco Benedetti
@article{DBLP:journals/corr/abs-2401-11868,
author = {Marco Benedetti and
Francesco De Sclavis and
Marco Favorito and
Giuseppe Galano and
Sara Giammusso and
Antonio Muci and
Matteo Nardelli},
title = {Self-Balancing Semi-Hierarchical PCNs for CBDCs},
journal = {CoRR},
volume = {abs/2401.11868},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.11868},
doi = {10.48550/ARXIV.2401.11868},
eprinttype = {arXiv},
eprint = {2401.11868},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-11868.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/BellomariniBGMS23,
author = {Luigi Bellomarini and
Marco Benedetti and
Andrea Gentili and
Davide Magnanimi and
Emanuel Sallinger},
title = {KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge
Graphs},
journal = {Proc. {VLDB} Endow.},
volume = {16},
number = {12},
pages = {4014--4017},
year = {2023},
url = {https://www.vldb.org/pvldb/vol16/p4014-gentili.pdf},
doi = {10.14778/3611540.3611609},
timestamp = {Mon, 23 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/BellomariniBGMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt2/BenedettiF023,
author = {Marco Benedetti and
Marco Favorito and
Matteo Nardelli},
editor = {Paolo Mori and
Ivan Visconti and
Stefano Bistarelli},
title = {Orchestration of Blockchain-based Digital Twins},
booktitle = {Proceedings of the Fifth Distributed Ledger Technology Workshop {(DLT}
2023), Bologna, Italy, May 25-26, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3460},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3460/papers/DLT\_2023\_paper\_4.pdf},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/dlt2/BenedettiF023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt2/BenedettiSFGGM023,
author = {Marco Benedetti and
Francesco De Sclavis and
Marco Favorito and
Giuseppe Galano and
Sara Giammusso and
Antonio Muci and
Matteo Nardelli},
editor = {Paolo Mori and
Ivan Visconti and
Stefano Bistarelli},
title = {Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived
Permissioned {DLT}},
booktitle = {Proceedings of the Fifth Distributed Ledger Technology Workshop {(DLT}
2023), Bologna, Italy, May 25-26, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3460},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3460/papers/DLT\_2023\_paper\_1.pdf},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt2/BenedettiSFGGM023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/BenedettiSFGGMN23,
author = {Marco Benedetti and
Francesco De Sclavis and
Marco Favorito and
Giuseppe Galano and
Sara Giammusso and
Antonio Muci and
Matteo Nardelli},
title = {PoW-less Bitcoin with Confidential Byzantine PoA},
booktitle = {{IEEE} International Conference on Blockchain and Cryptocurrency,
{ICBC} 2023, Dubai, United Arab Emirates, May 1-5, 2023},
pages = {1--3},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICBC56567.2023.10174972},
doi = {10.1109/ICBC56567.2023.10174972},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icbc2/BenedettiSFGGMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-13417,
author = {Marco Benedetti and
Enrico Ventura},
title = {Training neural networks with structured noise improves classification
and generalization},
journal = {CoRR},
volume = {abs/2302.13417},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.13417},
doi = {10.48550/ARXIV.2302.13417},
eprinttype = {arXiv},
eprint = {2302.13417},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-13417.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-13445,
author = {Marco Benedetti and
Louis Carillo and
Enzo Marinari and
Marc M{\'{e}}zard},
title = {Eigenvector Dreaming},
journal = {CoRR},
volume = {abs/2308.13445},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.13445},
doi = {10.48550/ARXIV.2308.13445},
eprinttype = {arXiv},
eprint = {2308.13445},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-13445.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jossw/BenedettiCSFGMM22,
author = {Marco Benedetti and
Gennaro Catapano and
Francesco De Sclavis and
Marco Favorito and
Aldo Glielmo and
Davide Magnanimi and
Antonio Muci},
title = {Black-it: {A} Ready-to-Use and Easy-to-Extend Calibration Kit for
Agent-based Models},
journal = {J. Open Source Softw.},
volume = {7},
number = {79},
pages = {4622},
year = {2022},
url = {https://doi.org/10.21105/joss.04622},
doi = {10.21105/JOSS.04622},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jossw/BenedettiCSFGMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-06870,
author = {Marco Benedetti and
Francesco De Sclavis and
Marco Favorito and
Giuseppe Galano and
Sara Giammusso and
Antonio Muci and
Matteo Nardelli},
title = {A PoW-less Bitcoin with Certified Byzantine Consensus},
journal = {CoRR},
volume = {abs/2207.06870},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.06870},
doi = {10.48550/ARXIV.2207.06870},
eprinttype = {arXiv},
eprint = {2207.06870},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-06870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/BellomariniBCGL20,
author = {Luigi Bellomarini and
Marco Benedetti and
Stefano Ceri and
Andrea Gentili and
Rosario Laurendi and
Davide Magnanimi and
Markus Nissl and
Emanuel Sallinger},
editor = {Sotiris Moschoyiannis and
Paul Fodor and
Jan Vanthienen and
Daniela Inclezan and
Nikolay Nikolov and
Francisco Mart{\'{\i}}n{-}Recuerda and
Ioan Toma},
title = {Reasoning on Company Takeovers during the {COVID-19} Crisis with Knowledge
Graphs},
booktitle = {Proceedings of the 14th International Rule Challenge, 4th Doctoral
Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with
16th Reasoning Web Summer School {(RW} 2020) 12th DecisionCAMP 2020
as part of Declarative {AI} 2020, Oslo, Norway (virtual due to Covid-19
pandemic), 29 June - 1 July, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2644},
pages = {145--156},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2644/paper41.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/BellomariniBCGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10119,
author = {Luigi Bellomarini and
Marco Benedetti and
Andrea Gentili and
Rosario Laurendi and
Davide Magnanimi and
Antonio Muci and
Emanuel Sallinger},
title = {{COVID-19} and Company Knowledge Graphs: Assessing Golden Powers and
Economic Impact of Selective Lockdown via {AI} Reasoning},
journal = {CoRR},
volume = {abs/2004.10119},
year = {2020},
url = {https://arxiv.org/abs/2004.10119},
eprinttype = {arXiv},
eprint = {2004.10119},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-10119.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cybersec/BenedettiM19,
author = {Marco Benedetti and
Marco Mori},
title = {On the use of Max-SAT and {PDDL} in {RBAC} maintenance},
journal = {Cybersecur.},
volume = {2},
number = {1},
pages = {19},
year = {2019},
url = {https://doi.org/10.1186/s42400-019-0036-9},
doi = {10.1186/S42400-019-0036-9},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cybersec/BenedettiM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/BenedettiM18,
author = {Marco Benedetti and
Marco Mori},
editor = {Elisa Bertino and
Dan Lin and
Jorge Lobo},
title = {Parametric {RBAC} Maintenance via Max-SAT},
booktitle = {Proceedings of the 23nd {ACM} on Symposium on Access Control Models
and Technologies, {SACMAT} 2018, Indianapolis, IN, USA, June 13-15,
2018},
pages = {15--25},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3205977.3205987},
doi = {10.1145/3205977.3205987},
timestamp = {Wed, 21 Nov 2018 12:44:16 +0100},
biburl = {https://dblp.org/rec/conf/sacmat/BenedettiM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MangassarianVB10,
author = {Hratch Mangassarian and
Andreas G. Veneris and
Marco Benedetti},
title = {Robust {QBF} Encodings for Sequential Circuits with Applications to
Verification, Debug, and Test},
journal = {{IEEE} Trans. Computers},
volume = {59},
number = {7},
pages = {981--994},
year = {2010},
url = {https://doi.org/10.1109/TC.2010.74},
doi = {10.1109/TC.2010.74},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/MangassarianVB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BenedettiM08,
author = {Marco Benedetti and
Hratch Mangassarian},
title = {QBF-Based Formal Verification: Experience and Perspectives},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {5},
number = {1-4},
pages = {133--191},
year = {2008},
url = {https://doi.org/10.3233/sat190055},
doi = {10.3233/SAT190055},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/BenedettiM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BenedettiLV08,
author = {Marco Benedetti and
Arnaud Lallouet and
J{\'{e}}r{\'{e}}mie Vautard},
editor = {Peter J. Stuckey},
title = {Quantified Constraint Optimization},
booktitle = {Principles and Practice of Constraint Programming, 14th International
Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5202},
pages = {463--477},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85958-1\_31},
doi = {10.1007/978-3-540-85958-1\_31},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BenedettiLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BenedettiLV08,
author = {Marco Benedetti and
Arnaud Lallouet and
J{\'{e}}r{\'{e}}mie Vautard},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Modeling adversary scheduling with QCSP\({}^{\mbox{+}}\)},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {151--155},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363727},
doi = {10.1145/1363686.1363727},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/BenedettiLV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MangassarianVSBS07,
author = {Hratch Mangassarian and
Andreas G. Veneris and
Sean Safarpour and
Marco Benedetti and
Duncan Exon Smith},
editor = {Georges G. E. Gielen},
title = {A performance-driven QBF-based iterative logic array representation
with applications to verification, debug and test},
booktitle = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007,
San Jose, CA, USA, November 5-8, 2007},
pages = {240--245},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICCAD.2007.4397272},
doi = {10.1109/ICCAD.2007.4397272},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/MangassarianVSBS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BenedettiLV07,
author = {Marco Benedetti and
Arnaud Lallouet and
J{\'{e}}r{\'{e}}mie Vautard},
editor = {Manuela M. Veloso},
title = {{QCSP} Made Practical by Virtue of Restricted Quantification},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {38--43},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/004.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BenedettiLV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Benedetti06,
author = {Marco Benedetti},
title = {Abstract Branching for Quantified Formulas},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {16--21},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-003.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Benedetti06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/BenedettiLV06,
author = {Marco Benedetti and
Arnaud Lallouet and
J{\'{e}}r{\'{e}}mie Vautard},
editor = {Francisco Azevedo and
Pedro Barahona and
Fran{\c{c}}ois Fages and
Francesca Rossi},
title = {Reusing {CSP} Propagators for QCSPs},
booktitle = {Recent Advances in Constraints, 11th Annual {ERCIM} International
Workshop on Constraint Solving and Contraint Logic Programming, {CSCLP}
2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4651},
pages = {63--77},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-73817-6\_4},
doi = {10.1007/978-3-540-73817-6\_4},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/BenedettiLV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/Benedetti05,
author = {Marco Benedetti},
title = {Hybrid Evaluation Procedures for {QBF}},
journal = {Intelligenza Artificiale},
volume = {2},
number = {3},
pages = {37--44},
year = {2005},
timestamp = {Tue, 23 Jan 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/Benedetti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BenedettiA05,
author = {Marco Benedetti and
Luigia Carlucci Aiello},
editor = {Dieter Hutter and
Werner Stephan},
title = {SAT-Based Cooperative Planning: {A} Proposal},
booktitle = {Mechanizing Mathematical Reasoning, Essays in Honor of J{\"{o}}rg
H. Siekmann on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2605},
pages = {494--513},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32254-2\_28},
doi = {10.1007/978-3-540-32254-2\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BenedettiA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Benedetti05,
author = {Marco Benedetti},
editor = {Robert Nieuwenhuis},
title = {sKizzo: {A} Suite to Evaluate and Certify QBFs},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {369--376},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_27},
doi = {10.1007/11532231\_27},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/Benedetti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Benedetti05,
author = {Marco Benedetti},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Extracting Certificates from Quantified Boolean Formulas},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {47--53},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0985.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Benedetti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Benedetti05,
author = {Marco Benedetti},
editor = {Fahiem Bacchus and
Toby Walsh},
title = {Quantifier Trees for QBFs},
booktitle = {Theory and Applications of Satisfiability Testing, 8th International
Conference, {SAT} 2005, St. Andrews, UK, June 19-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3569},
pages = {378--385},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11499107\_28},
doi = {10.1007/11499107\_28},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/Benedetti05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Benedetti04,
author = {Marco Benedetti},
editor = {Franz Baader and
Andrei Voronkov},
title = {Evaluating QBFs via Symbolic Skolemization},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {285--300},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_20},
doi = {10.1007/978-3-540-32275-7\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Benedetti04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BenedettiB04,
author = {Marco Benedetti and
Sara Bernardini},
title = {Incremental Compilation-to-SAT Procedures},
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/82.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/BenedettiB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BenedettiB04a,
author = {Marco Benedetti and
Sara Bernardini},
editor = {Holger H. Hoos and
David G. Mitchell},
title = {Incremental Compilation-to-SAT Procedures},
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 = {46--58},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11527695\_4},
doi = {10.1007/11527695\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/BenedettiB04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenedettiC03,
author = {Marco Benedetti and
Alessandro Cimatti},
editor = {Hubert Garavel and
John Hatcliff},
title = {Bounded Model Checking for Past {LTL}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {18--33},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_3},
doi = {10.1007/3-540-36577-X\_3},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BenedettiC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Benedetti01,
author = {Marco Benedetti},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {Conditional Pure Literal Graphs},
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 = {331--346},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_25},
doi = {10.1007/3-540-45744-5\_25},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Benedetti01.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-25 02:23 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:
