Marco Benedetti - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2023

2022

Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based ModelsMarco Benedetti, Gennaro Catapano, Francesco De Sclavis, Marco Favorito, Aldo Glielmo, Davide Magnanimi, Antonio Muci. jossw, 7(79):4622, November 2022. [doi]

2020

Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge GraphsLuigi Bellomarini, Marco Benedetti, Stefano Ceri, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Markus Nissl, Emanuel Sallinger. ruleml 2020: 145-156 [doi]

2019

On the use of Max-SAT and PDDL in RBAC maintenanceMarco Benedetti, Marco Mori. cybersec, 2(1):19, 2019. [doi]

2018

Parametric RBAC Maintenance via Max-SATMarco Benedetti, Marco Mori. SACMAT 2018: 15-25 [doi]

2010

Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and TestHratch Mangassarian, Andreas G. Veneris, Marco Benedetti. TC, 59(7):981-994, 2010. [doi]

2008

QBF-Based Formal Verification: Experience and PerspectivesMarco Benedetti, Hratch Mangassarian. jsat, 5(1-4):133-191, 2008. [doi]

Quantified Constraint OptimizationMarco Benedetti, Arnaud Lallouet, Jérémie Vautard. cp 2008: 463-477 [doi]

Modeling adversary scheduling with QCSP:::+:::Marco Benedetti, Arnaud Lallouet, Jérémie Vautard. SAC 2008: 151-155 [doi]

2007

QCSP Made Practical by Virtue of Restricted QuantificationMarco Benedetti, Arnaud Lallouet, Jérémie Vautard. IJCAI 2007: 38-43 [doi]

A performance-driven QBF-based iterative logic array representation with applications to verification, debug and testHratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Smith. iccad 2007: 240-245 [doi]

2006

Abstract Branching for Quantified FormulasMarco Benedetti. AAAI 2006: 16-21

Reusing CSP Propagators for QCSPsMarco Benedetti, Arnaud Lallouet, Jérémie Vautard. csclp 2007: 63-77 [doi]

2005

2004

Incremental Compilation-to-SAT ProceduresMarco Benedetti, Sara Bernardini. sat 2004: [doi]

Incremental Compilation-to-SAT ProceduresMarco Benedetti, Sara Bernardini. sat 2005: 46-58 [doi]

Evaluating QBFs via Symbolic SkolemizationMarco Benedetti. lpar 2005: 285-300 [doi]

2003

Bounded Model Checking for Past LTLMarco Benedetti, Alessandro Cimatti. TACAS 2003: 18-33 [doi]

2001

Conditional Pure Literal GraphsMarco Benedetti. cade 2001: 331-346 [doi]

Sign in or sign up to see more results.

runs on WebDSL