Marco H. Benedetti

Available identifiers

zbMath Open benedetti.marco-hMaRDI QIDQ2080735

List of research outcomes

Publication	Date of Publication	Type
Training neural networks with structured noise improves classification and generalization	2024-10-25	Paper
Eigenvector dreaming	2024-10-16	Paper
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

This page was built for person: Marco H. Benedetti