Marco H. Benedetti

Available identifiers

zbMath Open benedetti.marco-hMaRDI QIDQ2080735

List of research outcomes

Publication	Date of Publication	Type
Identifying regions of inhomogeneities in spatial processes via an M‐RA and mixture priors	2023-10-30	Paper
Accounting for survey design in Bayesian disaggregation of survey-based areal estimates of proportions: an application to the American Community Survey	2022-10-10	Paper
Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test	2017-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q3620436	2009-04-14	Paper
Reusing CSP Propagators for QCSPs	2009-03-05	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
Theory and Applications of Satisfiability Testing	2005-12-16	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4417910	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4540007	2002-07-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marco H. Benedetti