Roberto Amadini

ACM Comput. Surv., 2023

A Regular Matching Constraint for String Variables.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

sunny-as2: Enhancing SUNNY for Algorithm Selection.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

2020

Dashed strings for string constraint solving.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study.

[BibT_eX]

[DOI]

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

String Constraint Solving: Past, Present and Future.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Dashed Strings and the Replace(-all) Constraint.

[BibT_eX]

[DOI]

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]