The following pages link to Roberto Amadini (Q276549):
Displaying 11 items.
- Portfolio approaches for constraint optimization problems (Q276552) (← links)
- Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings (Q1626699) (← links)
- Dashed strings for string constraint solving (Q2046015) (← links)
- Algorithm selection for dynamic symbolic execution: a preliminary study (Q2119113) (← links)
- Constraint programming for dynamic symbolic execution of JavaScript (Q2327235) (← links)
- MiniZinc with strings (Q2409726) (← links)
- SUNNY: a Lazy Portfolio Approach for Constraint Solving (Q2931261) (← links)
- SUNNY-CP and the MiniZinc challenge (Q4603429) (← links)
- Reference Abstract Domains and Applications to String Analysis (Q4637861) (← links)
- An Empirical Evaluation of Portfolios Approaches for Solving CSPs (Q4922920) (← links)
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (Q5743603) (← links)
