Marco Benedetti

Marco Benedetti

Bank of Italy - Rome / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 4621257
-
person_outline Marco Benedetti's MOST POPULAR ARTICLES
1-) sKizzo: a suite to evaluate and certify QBFsM BenedettiInternational Conference on Automated Deduction, 369-376, 20051662005
2-) Evaluating QBFs via symbolic skolemizationM BenedettiInternational Conference on Logic for Programming Artificial Intelligence …, 20051072005
3-) QBF-based formal verification: Experience and perspectivesM Benedetti, H MangassarianJournal on Satisfiability, Boolean Modeling and Computation 5 (1-4), 133-191, 20091012009
4-) Bounded model checking for past LTLM Benedetti, A CimattiTools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003942003
5-) QCSP Made Practical by Virtue of Restricted Quantification.M Benedetti, A Lallouet, J VautardIJCAI 7, 38-43, 2007822007