Roberto Amadini

Constraint Programming for Dynamic Symbolic Execution of JavaScript

R Amadini, M Andrlon, G Gange, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings  |  2019  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© 2019, Springer Nature Switzerland AG. Dynamic Symbolic Execution (DSE) combines concrete and symbolic execution, usually for the..

Reference Abstract Domains and Applications to String Analysis

Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander Jordan, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Journal article  |  2018  |  Fundamenta Informaticae

Sweep-based propagation for string constraint solving

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  32nd AAAI Conference on Artificial Intelligence, AAAI 2018

Copyright © 2018, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. Solving constrai..

SUNNY-CP and the MiniZinc challenge

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Journal article  |  2018  |  Theory and Practice of Logic Programming

Propagating lex, find and replace with dashed strings

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Springer International Publishing AG, part of Springer Nature 2018. Dashed strings have been recently proposed in Constraint Progr..

Propagating Regular membership with dashed strings

R Amadini, G Gange, PJ Stuckey

Conference Proceedings  |  2018  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Using dashed strings is an approach recently introduced in Constraint Programming (CP) to represent the domain of string variables..

Survival prediction of trauma patients: a study on US National Trauma Data Bank

I Sefrioui, R Amadini, J Mauro, A El Fallahi, M Gabbrielli

Journal article  |  2017  |  European Journal of Trauma and Emergency Surgery

Combining String Abstract Domains for JavaScript Analysis: An Evaluation

Roberto Amadini, Alexander Jordan, Graeme Gange, Francois Gauthier, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A novel approach to string constraint solving

R Amadini, G Gange, PJ Stuckey, G Tack

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

© Springer International Publishing AG 2017. String processing is ubiquitous across computer science, and arguably more so in web ..

MiniZinc with Strings

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D Scott, Peter J Stuckey, Guido Tack

Conference Proceedings  |  2017  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Journal article  |  2016  |  International Journal of Interactive Multimedia and Artificial Intelligence

Portfolio approaches for constraint optimization problems

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Journal article  |  2016  |  Annals of Mathematics and Artificial Intelligence

Parallelizing Constraint Solvers for Hard RCPSP Instances

R AMADINI, M Gabbrielli, M Mauro

Report  |  2016

Parallelizing Constraint Solvers for Hard RCPSP Instances

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Conference Proceedings  |  2016  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Portfolio approaches in constraint programming

R Amadini, M Gabbrielli

Journal article  |  2015  |  Constraints

A multicore tool for constraint solving

R Amadini, M Gabbrielli, J Mauro

Conference Proceedings  |  2015  |  IJCAI International Joint Conference on Artificial Intelligence

In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction..

SUNNY for algorithm selection: A preliminary study

R Amadini, F Biselli, M Gabbrielli, T Liu, J Mauro

Conference Proceedings  |  2015  |  CEUR Workshop Proceedings

Given a collection of algorithms, the Algorithm Selection (AS) problem consists in identifying which of them is the best one for s..

Feature Selection for SUNNY: a Study on the Algorithm Selection Library

Roberto Amadini, Fabio Biselli, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

Conference Proceedings  |  2015  |  2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI)

Why CP Portfolio Solvers Are (under) Utilized? Issues and Challenges

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Conference Proceedings  |  2015  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SUNNY-CP: a Sequential CP Portfolio Solver

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Conference Proceedings  |  2015  |  Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15

SUNNY: a Lazy Portfolio Approach for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Journal article  |  2014  |  Theory and Practice of Logic Programming

An enhanced features extractor for a portfolio of constraint solvers

R Amadini, M Gabbrielli, J Mauro

Conference Proceedings  |  2014  |  Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14

Recent research has shown that a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly ..

Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers

Roberto Amadini, Peter J Stuckey

Conference Proceedings  |  2014  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Portfolio approaches for constraint optimization problems

R Amadini, M Gabbrielli, J Mauro

Conference Proceedings  |  2014  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Within the Constraints Satisfaction Problems (CSP) context, a methodology that has proven to be particularly performant consists i..

An empirical evaluation of portfolios approaches for solving CSPs

R Amadini, M Gabbrielli, J Mauro

Conference Proceedings  |  2013  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Recent research in areas such as SAT solving and Integer Linear Programming has shown that the performances of a single arbitraril..

Fast post-disaster emergency vehicle scheduling

R Amadini, I Sefrioui, J Mauro, M Gabbrielli

Journal article  |  2013  |  Advances in Intelligent Systems and Computing

A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing

Roberto Amadini, Imane Sefrioui, Jacopo Mauro, Maurizio Gabbrielli

Journal article  |  International Journal of Interactive Multimedia and Artificial Intelligence