ResearchTrend.AI
An Empirical Evaluation of Portfolios Approaches for solving CSPs
v1v2 (latest)

An Empirical Evaluation of Portfolios Approaches for solving CSPs

R. Amadini
M. Gabbrielli
J. Mauro
ArXiv (abs)PDFHTML

Papers citing "An Empirical Evaluation of Portfolios Approaches for solving CSPs"

5 / 5 papers shown
Title
Automatic Feature Learning for Essence: a Case Study on Car Sequencing
Automatic Feature Learning for Essence: a Case Study on Car Sequencing
Alessio Pellegrino
Ozgur Akgun
Nguyen Dang
Z. Kiziltan
Ian Miguel
68
0
0
23 Sep 2024
sunny-as2: Enhancing SUNNY for Algorithm Selection
sunny-as2: Enhancing SUNNY for Algorithm Selection
Tong Liu
R. Amadini
J. Mauro
M. Gabbrielli
26
6
0
07 Sep 2020
Predicting SMT Solver Performance for Software Verification
Predicting SMT Solver Performance for Software Verification
Andrew Healy
Rosemary Monahan
James F. Power
67
15
0
30 Jan 2017
Short Portfolio Training for CSP Solving
Short Portfolio Training for CSP Solving
Mirko Stojadinovic
Mladen Nikolic
Filip Marić
41
4
0
08 May 2015
An Enhanced Features Extractor for a Portfolio of Constraint Solvers
An Enhanced Features Extractor for a Portfolio of Constraint Solvers
R. Amadini
M. Gabbrielli
J. Mauro
74
26
0
01 Aug 2013