Roberto Amadini

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roberto Amadini