Roberto Amadini

Available identifiers

zbMath Open amadini.robertoDBLP123/4603WikidataQ62056029 ScholiaQ62056029MaRDI QIDQ276549

List of research outcomes

Publication	Date of Publication	Type
Algorithm selection for dynamic symbolic execution: a preliminary study	2022-03-23	Paper
Dashed strings for string constraint solving	2021-08-16	Paper
Constraint programming for dynamic symbolic execution of JavaScript	2019-10-14	Paper
Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings	2018-11-21	Paper
Reference abstract domains and applications to string analysis	2018-05-03	Paper
SUNNY-CP and the MiniZinc challenge	2018-02-20	Paper
MiniZinc with strings	2017-10-13	Paper
Portfolio approaches for constraint optimization problems	2016-05-04	Paper
Why CP portfolio solvers are (under)utilized? Issues and challenges	2016-02-05	Paper
SUNNY: a lazy portfolio approach for constraint solving	2014-11-25	Paper
An empirical evaluation of portfolios approaches for solving CSPs	2013-06-04	Paper

Research outcomes over time

This page was built for person: Roberto Amadini