The following pages link to Marco H. Benedetti (Q2080735):
Displayed 12 items.
- Accounting for survey design in Bayesian disaggregation of survey-based areal estimates of proportions: an application to the American Community Survey (Q2080736) (← links)
- Reusing CSP Propagators for QCSPs (Q3608445) (← links)
- (Q3620436) (← links)
- (Q4417910) (← links)
- (Q4540007) (← links)
- Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test (Q5280739) (← links)
- Automated Deduction – CADE-20 (Q5394625) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705931) (← links)
- Theory and Applications of Satisfiability Testing (Q5713726) (← links)
- Theory and Applications of Satisfiability Testing (Q5714772) (← links)
- Mechanizing Mathematical Reasoning (Q5717457) (← links)
- Identifying regions of inhomogeneities in spatial processes via an M‐RA and mixture priors (Q6055569) (← links)