Follow
Marco Benedetti
Marco Benedetti
Senior Research Advisor at 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
International Conference on Automated Deduction, 369-376, 2005
1652005
Evaluating QBFs via symbolic skolemization
M Benedetti
International Conference on Logic for Programming Artificial Intelligence …, 2005
1082005
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
922003
QCSP Made Practical by Virtue of Restricted Quantification.
M Benedetti, A Lallouet, J Vautard
IJCAI 7, 38-43, 2007
812007
Quantifier trees for QBFs
M Benedetti
International Conference on Theory and Applications of Satisfiability …, 2005
612005
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
602007
Extracting certificates from quantified boolean formulas
M Benedetti
IJCAI, 47-53, 2005
582005
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
442010
Quantified constraint optimization
M Benedetti, A Lallouet, J Vautard
International Conference on Principles and Practice of Constraint …, 2008
402008
sKizzo: a QBF decision procedure based on propositional skolemization and symbolic reasoning
M Benedetti
Tech. Rep., ITC-Irst, 2004
312004
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
242020
Incremental compilation-to-SAT procedures
M Benedetti, S Bernardini
International Conference on Theory and Applications of Satisfiability …, 2004
242004
Modeling adversary scheduling with QCSP+
M Benedetti, A Lallouet, J Vautard
Proceedings of the 2008 ACM symposium on Applied computing, 151-155, 2008
222008
Reusing CSP propagators for QCSPs
M Benedetti, A Lallouet, J Vautard
Recent Advances in Constraints: 11th Annual ERCIM International Workshop on …, 2007
222007
Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs
L Bellomarini, M Benedetti, S Ceri, A Gentili, R Laurendi, D Magnanimi, ...
152020
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
Parametric RBAC maintenance via Max-SAT
M Benedetti, M Mori
Proceedings of the 23nd ACM on Symposium on Access Control Models and …, 2018
112018
On the use of Max-SAT and PDDL in RBAC maintenance
M Benedetti, M Mori
Cybersecurity 2, 1-25, 2019
102019
NuSMV: a new symbolic model checker
R Cavada, A Cimatti, M Benedetti, E Olivetti, M Pistore, M Roveri, ...
102002
The system can't perform the operation now. Try again later.
Articles 1–20