| sKizzo: a suite to evaluate and certify QBFs M Benedetti Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005 | 164 | 2005 |
| Evaluating QBFs via symbolic skolemization M Benedetti Logic for Programming, Artificial Intelligence, and Reasoning: 11th …, 2005 | 105 | 2005 |
| QBF-based formal verification: Experience and perspectives M Benedetti, H Mangassarian Journal on Satisfiability, Boolean Modeling and Computation 5 (1-4), 133-191, 2009 | 100 | 2009 |
| Bounded model checking for past LTL M Benedetti, A Cimatti Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003 | 90 | 2003 |
| QCSP Made Practical by Virtue of Restricted Quantification. M Benedetti, A Lallouet, J Vautard IJCAI, 38-43, 2007 | 83 | 2007 |
| 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 | 59 | 2007 |
| Quantifier trees for QBFs M Benedetti Theory and Applications of Satisfiability Testing: 8th International …, 2005 | 59 | 2005 |
| Extracting certificates from quantified boolean formulas M Benedetti IJCAI, 47-53, 2005 | 54 | 2005 |
| 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 | 42 | 2010 |
| Quantified constraint optimization M Benedetti, A Lallouet, J Vautard Principles and Practice of Constraint Programming: 14th International …, 2008 | 40 | 2008 |
| sKizzo: a QBF decision procedure based on propositional skolemization and symbolic reasoning M Benedetti Tech. Rep., ITC-Irst, 2004 | 29 | 2004 |
| Modeling adversary scheduling with QCSP+ M Benedetti, A Lallouet, J Vautard Proceedings of the 2008 ACM symposium on Applied computing, 151-155, 2008 | 24 | 2008 |
| Incremental compilation-to-SAT procedures M Benedetti, S Bernardini Theory and Applications of Satisfiability Testing: 7th International …, 2005 | 23 | 2005 |
| Reusing CSP propagators for QCSPs M Benedetti, A Lallouet, J Vautard Recent Advances in Constraints: 11th Annual ERCIM International Workshop on …, 2007 | 22 | 2007 |
| 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 | 19 | 2020 |
| Experience and perspectives in qbf-based formal verification M Benedetti, H Mangassarian Journal on Satisfiability, Boolean Modeling and Computation (JSAT) 5, 133-191, 2008 | 15 | 2008 |
| Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs L Bellomarini, M Benedetti, S Ceri, A Gentili, R Laurendi, D Magnanimi, ... | 10 | 2020 |
| NuSMV: a new symbolic model checker R Cavada, A Cimatti, M Benedetti, E Olivetti, M Pistore, M Roveri, ... | 10 | 2002 |
| Parametric RBAC maintenance via Max-SAT M Benedetti, M Mori Proceedings of the 23nd ACM on Symposium on Access Control Models and …, 2018 | 9 | 2018 |
| Abstract branching for quantified formulas M Benedetti Proceedings of the 21st national conference on Artificial intelligence …, 2006 | 8 | 2006 |
Hratch MangassarianGoogleVerified email at google.com
