Search Results for author: Maurizio Gabbrielli

Found 10 papers, 3 papers with code

On the evaluation of (meta-)solver approaches

no code implementations17 Feb 2022 Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro

Meta-solver approaches exploits a number of individual solvers to potentially build a better solver.

Content-Based Textual File Type Detection at Scale

no code implementations21 Jan 2021 Francesca Del Bonifro, Maurizio Gabbrielli, Stefano Zacchiroli

Doing so is helpful to classify source code that lack file extensions (e. g., code snippets posted on the Web or executable scripts), to avoid misclassifying source code that has been recorded with wrong or uncommon file extensions, and also shed some light on the intrinsic recognizability of source code files.

Vocal Bursts Type Prediction

sunny-as2: Enhancing SUNNY for Algorithm Selection

1 code implementation7 Sep 2020 Tong Liu, Roberto Amadini, Jacopo Mauro, Maurizio Gabbrielli

A preliminary version of sunny-as2 was submitted to the Open Algorithm Selection Challenge (OASC) in 2017, where it turned out to be the best approach for the runtime minimization of decision problems.

feature selection

SUNNY-CP and the MiniZinc Challenge

no code implementations26 Jun 2017 Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

In Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem.

A Multicore Tool for Constraint Solving

1 code implementation13 Feb 2015 Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

*** To appear in IJCAI 2015 proceedings *** In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Optimization Problem.

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach

no code implementations24 Feb 2014 Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini

In the paper we provide a language to describe the agents behavior, together with its operational and denotational semantics, for which we also prove the compositionality and correctness properties.

SUNNY: a Lazy Portfolio Approach for Constraint Solving

no code implementations14 Nov 2013 Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

In this paper we present SUNNY: a simple and flexible algorithm that takes advantage of a portfolio of constraint solvers in order to compute --- without learning an explicit model --- a schedule of them for solving a given Constraint Satisfaction Problem (CSP).

An Enhanced Features Extractor for a Portfolio of Constraint Solvers

no code implementations1 Aug 2013 Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Recent research has shown that a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers.

An Empirical Evaluation of Portfolios Approaches for solving CSPs

no code implementations4 Dec 2012 Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Recent research in areas such as SAT solving and Integer Linear Programming has shown that the performances of a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers.

General Classification

Cannot find the paper you are looking for? You can Submit a new open access paper.