Marco Benedetti

According to our database, Marco Benedetti authored at least 30 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Self-Balancing Semi-Hierarchical PCNs for CBDCs.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

CoRR, 2024

2023

KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs.

Luigi Bellomarini, Marco Benedetti, Andrea Gentili, Davide Magnanimi, Emanuel Sallinger

Proc. VLDB Endow., 2023

Eigenvector Dreaming.

Marco Benedetti, Louis Carillo, Enzo Marinari, Marc Mézard

CoRR, 2023

Training neural networks with structured noise improves classification and generalization.

Marco Benedetti, Enrico Ventura

CoRR, 2023

PoW-less Bitcoin with Confidential Byzantine PoA.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023

Orchestration of Blockchain-based Digital Twins.

Marco Benedetti, Marco Favorito, Matteo Nardelli

Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023

2022

Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models.

Marco Benedetti, Gennaro Catapano, Francesco De Sclavis, Marco Favorito, Aldo Glielmo, Davide Magnanimi, Antonio Muci

J. Open Source Softw., November, 2022

A PoW-less Bitcoin with Certified Byzantine Consensus.

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli

CoRR, 2022

2020

COVID-19 and Company Knowledge Graphs: Assessing Golden Powers and Economic Impact of Selective Lockdown via AI Reasoning.

Luigi Bellomarini, Marco Benedetti, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Antonio Muci, Emanuel Sallinger

CoRR, 2020

Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs.

Luigi Bellomarini, Marco Benedetti, Stefano Ceri, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Markus Nissl, Emanuel Sallinger

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, 2020

2019

On the use of Max-SAT and PDDL in RBAC maintenance.

Marco Benedetti, Marco Mori

Cybersecur., 2019

2018

Parametric RBAC Maintenance via Max-SAT.

Marco Benedetti, Marco Mori

Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018

2010

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test.

Hratch Mangassarian, Andreas G. Veneris, Marco Benedetti

IEEE Trans. Computers, 2010

2008

QBF-Based Formal Verification: Experience and Perspectives.

Marco Benedetti, Hratch Mangassarian

J. Satisf. Boolean Model. Comput., 2008

Modeling adversary scheduling with QCSP⁺.

Marco Benedetti, Arnaud Lallouet, Jérémie Vautard

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Quantified Constraint Optimization.

Marco Benedetti, Arnaud Lallouet, Jérémie Vautard

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

QCSP Made Practical by Virtue of Restricted Quantification.

Marco Benedetti, Arnaud Lallouet, Jérémie Vautard

Proceedings of the IJCAI 2007, 2007

A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test.

Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Exon Smith

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006

Reusing CSP Propagators for QCSPs.

Marco Benedetti, Arnaud Lallouet, Jérémie Vautard

Proceedings of the Recent Advances in Constraints, 2006

Abstract Branching for Quantified Formulas.

Marco Benedetti

Proceedings of the Proceedings, 2006

2005

Hybrid Evaluation Procedures for QBF.

Marco Benedetti

Intelligenza Artificiale, 2005

Quantifier Trees for QBFs.

Marco Benedetti

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Extracting Certificates from Quantified Boolean Formulas.

Marco Benedetti

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

sKizzo: A Suite to Evaluate and Certify QBFs.

Marco Benedetti

Proceedings of the Automated Deduction, 2005

SAT-Based Cooperative Planning: A Proposal.

Marco Benedetti, Luigia Carlucci Aiello

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Incremental Compilation-to-SAT Procedures.

Marco Benedetti, Sara Bernardini

Proceedings of the Theory and Applications of Satisfiability Testing, 2004

Evaluating QBFs via Symbolic Skolemization.

Marco Benedetti

Proceedings of the Logic for Programming, 2004

2003

Bounded Model Checking for Past LTL.

Marco Benedetti, Alessandro Cimatti

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2001

Conditional Pure Literal Graphs.

Marco Benedetti

Proceedings of the Automated Reasoning, First International Joint Conference, 2001