Picture for Jacopo Mauro

Jacopo Mauro

On the evaluation of (meta-)solver approaches

Add code
Feb 17, 2022
Viaarxiv icon

sunny-as2: Enhancing SUNNY for Algorithm Selection

Add code
Sep 07, 2020
Figure 1 for sunny-as2: Enhancing SUNNY for Algorithm Selection
Figure 2 for sunny-as2: Enhancing SUNNY for Algorithm Selection
Figure 3 for sunny-as2: Enhancing SUNNY for Algorithm Selection
Figure 4 for sunny-as2: Enhancing SUNNY for Algorithm Selection
Viaarxiv icon

Anomaly detection in Context-aware Feature Models

Add code
Jul 28, 2020
Figure 1 for Anomaly detection in Context-aware Feature Models
Figure 2 for Anomaly detection in Context-aware Feature Models
Figure 3 for Anomaly detection in Context-aware Feature Models
Figure 4 for Anomaly detection in Context-aware Feature Models
Viaarxiv icon

SUNNY-CP and the MiniZinc Challenge

Add code
Jul 05, 2017
Figure 1 for SUNNY-CP and the MiniZinc Challenge
Figure 2 for SUNNY-CP and the MiniZinc Challenge
Figure 3 for SUNNY-CP and the MiniZinc Challenge
Figure 4 for SUNNY-CP and the MiniZinc Challenge
Viaarxiv icon

A Multicore Tool for Constraint Solving

Add code
Apr 30, 2015
Figure 1 for A Multicore Tool for Constraint Solving
Figure 2 for A Multicore Tool for Constraint Solving
Figure 3 for A Multicore Tool for Constraint Solving
Figure 4 for A Multicore Tool for Constraint Solving
Viaarxiv icon

SUNNY: a Lazy Portfolio Approach for Constraint Solving

Add code
May 13, 2014
Figure 1 for SUNNY: a Lazy Portfolio Approach for Constraint Solving
Figure 2 for SUNNY: a Lazy Portfolio Approach for Constraint Solving
Figure 3 for SUNNY: a Lazy Portfolio Approach for Constraint Solving
Figure 4 for SUNNY: a Lazy Portfolio Approach for Constraint Solving
Viaarxiv icon

An Enhanced Features Extractor for a Portfolio of Constraint Solvers

Add code
Apr 02, 2014
Viaarxiv icon

An Empirical Evaluation of Portfolios Approaches for solving CSPs

Add code
Jan 05, 2014
Figure 1 for An Empirical Evaluation of Portfolios Approaches for solving CSPs
Figure 2 for An Empirical Evaluation of Portfolios Approaches for solving CSPs
Figure 3 for An Empirical Evaluation of Portfolios Approaches for solving CSPs
Figure 4 for An Empirical Evaluation of Portfolios Approaches for solving CSPs
Viaarxiv icon