Follow
Marco Benedetti
Marco Benedetti
Head of Applied Research Team, Bank of Italy
Verified email at bancaditalia.it - Homepage
Title
Cited by
Cited by
Year
sKizzo: a suite to evaluate and certify QBFs
M Benedetti
Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005
1642005
Evaluating QBFs via symbolic skolemization
M Benedetti
Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005
1052005
QBF-based formal verification: Experience and perspectives
M Benedetti, H Mangassarian
Journal on Satisfiability, Boolean Modeling and Computation 5 (1-4), 133-191, 2009
1002009
Bounded model checking for past LTL
M Benedetti, A Cimatti
Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003
902003
QCSP Made Practical by Virtue of Restricted Quantification.
M Benedetti, A Lallouet, J Vautard
IJCAI, 38-43, 2007
832007
A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test
H Mangassarian, A Veneris, S Safarpour, M Benedetti, D Smith
2007 IEEE/ACM International Conference on Computer-Aided Design, 240-245, 2007
592007
Quantifier trees for QBFs
M Benedetti
Theory and Applications of Satisfiability Testing: 8th International …, 2005
592005
Extracting certificates from quantified boolean formulas
M Benedetti
IJCAI, 47-53, 2005
542005
Robust QBF encodings for sequential circuits with applications to verification, debug, and test
H Mangassarian, A Veneris, M Benedetti
IEEE Transactions on Computers 59 (7), 981-994, 2010
422010
Quantified constraint optimization
M Benedetti, A Lallouet, J Vautard
Principles and Practice of Constraint Programming: 14th International …, 2008
402008
sKizzo: a QBF decision procedure based on propositional skolemization and symbolic reasoning
M Benedetti
Tech. Rep., ITC-Irst, 2004
292004
Modeling adversary scheduling with QCSP+
M Benedetti, A Lallouet, J Vautard
Proceedings of the 2008 ACM symposium on Applied computing, 151-155, 2008
242008
Incremental compilation-to-SAT procedures
M Benedetti, S Bernardini
Theory and Applications of Satisfiability Testing: 7th International …, 2005
232005
Reusing CSP propagators for QCSPs
M Benedetti, A Lallouet, J Vautard
Recent Advances in Constraints: 11th Annual ERCIM International Workshop on …, 2007
222007
COVID-19 and company knowledge graphs: assessing golden powers and economic impact of selective lockdown via AI reasoning
L Bellomarini, M Benedetti, A Gentili, R Laurendi, D Magnanimi, A Muci, ...
arXiv preprint arXiv:2004.10119, 2020
192020
Experience and perspectives in qbf-based formal verification
M Benedetti, H Mangassarian
Journal on Satisfiability, Boolean Modeling and Computation (JSAT) 5, 133-191, 2008
152008
Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs
L Bellomarini, M Benedetti, S Ceri, A Gentili, R Laurendi, D Magnanimi, ...
102020
NuSMV: a new symbolic model checker
R Cavada, A Cimatti, M Benedetti, E Olivetti, M Pistore, M Roveri, ...
102002
Parametric RBAC maintenance via Max-SAT
M Benedetti, M Mori
Proceedings of the 23nd ACM on Symposium on Access Control Models and …, 2018
92018
Abstract branching for quantified formulas
M Benedetti
Proceedings of the 21st national conference on Artificial intelligence …, 2006
82006
The system can't perform the operation now. Try again later.
Articles 1–20