Roberto Amadini

Proceedings of the Principles and Practice of Constraint Programming, 2020

Abstract Interpretation, Symbolic Execution and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

Constraint Programming for Dynamic Symbolic Execution of JavaScript.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

SUNNY-CP and the MiniZinc challenge.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2018

Reference Abstract Domains and Applications to String Analysis.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Propagating lex, find and replace with Dashed Strings.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Propagating Regular Membership with Dashed Strings.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2018

Sweep-Based Propagation for String Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Combining String Abstract Domains for JavaScript Analysis: An Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

SUNNY with Algorithm Configuration.

[BibT_eX]

[DOI]

Tong Liu

Proceedings of the Open Algorithm Selection Challenge 2017, 2017

A Novel Approach to String Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

An Extensive Evaluation of Portfolio Approaches for Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Int. J. Interact. Multim. Artif. Intell., 2016

Portfolio approaches for constraint optimization problems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2016

MiniZinc with Strings.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Parallelizing Constraint Solvers for Hard RCPSP Instances.

[BibT_eX]

[DOI]

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

2015

Portfolio Approaches in Constraint Programming. (Portfolio approches dans la Programmation par contraintes).

[BibT_eX]

[DOI]

PhD thesis, 2015

SUNNY-CP 2: a Parallel CP Portfolio Solver.

[BibT_eX]

[DOI]

CoRR, 2015

Portfolio approaches in constraint programming.

[BibT_eX]

[DOI]

Constraints An Int. J., 2015

SUNNY-CP: a sequential CP portfolio solver.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

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

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

A Multicore Tool for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Feature Selection for SUNNY: A Study on the Algorithm Selection Library.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

SUNNY for algorithm selection: a preliminary study.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

2014

SUNNY: a Lazy Portfolio Approach for Constraint Solving.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2014

An enhanced features extractor for a portfolio of constraint solvers.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Evaluation and Application of Portfolio Approaches in Constraint Programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

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

[BibT_eX]

[DOI]

Int. J. Interact. Multim. Artif. Intell., 2013

SUNNY: a Simple and Dynamic Algorithm Portfolio for Solving CSPs.

[BibT_eX]

[DOI]

CoRR, 2013

Features for Building CSP Portfolio Solvers.

[BibT_eX]

[DOI]

CoRR, 2013

Fast Post-Disaster Emergency Vehicle Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2013

An Empirical Evaluation of Portfolios Approaches for Solving CSPs.

[BibT_eX]

[DOI]