An enhanced features extractor for a portfolio of constraint solvers

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2014, Pages 1357-1359

  Amadini, Roberto ^a   Gabbrielli, Maurizio ^a   Mauro, Jacopo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SOLVERS; EFFICIENT SOLVERS; FLEXIBLE FRAMEWORK; MODEL LANGUAGES; PROBLEM SPECIFICATION; RECENT RESEARCHES;

COMPUTATION THEORY;

EID: 84905643488     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2554850.2555114     Document Type: Conference Paper

References (20)

1. R. Amadini, M. Gabbrielli, and J. Mauro. An Empirical Evaluation of Portfolios Approaches for Solving CSPs. In CPAIOR, 2013.
2. R. Amadini, M. Gabbrielli, and J. Mauro. Features for Building CSP Portfolio Solvers. CoRR, abs/1308.0227, abs/1308.0227, 2013.
3. A. Arbelaez, Y. Hamadi, and M. Sebag. Continuous Search in Constraint Programming. In ICTAI, 2010.
4. R. Becket. Specification of FlatZinc - Version 1.6. http://www.minizinc. org/downloads/doc-1.6/flatzinc-spec.pdf.
5. N. Beldiceanu, M. Carlsson, S. Demassey, and T. Petit. Global Constraint Catalogue: Past, Present and Future. Constraints, 12(1):21-62, 2007.
6. Third International CSP Solver Competition 2008. http://www.cril.univ- artois.fr/CPAI09/.
7. GECODE flatzinc. http://www.gecode.org/flatzinc.html.
8. C. P. Gomes and B. Selman. Algorithm portfolios. Artif. Intell., 126(1-2):43-62, 2001.
9. F. Hutter, L. Xu, H. H. Hoos, and K. Leyton-Brown. Algorithm Runtime Prediction: The State of the Art. CoRR, 2012.
10. C. Kroer and Y. Malitsky. Feature filtering for instance-specific algorithm configuration. In ICTAI, 2011.
11. Y. Malitsky and M. Sellmann. Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation. In CPAIOR, 2012.
12. Mistral. http://www.4c.ucc.ie/~ehebrard/mistral/doxygen/html/main.html.
13. M. Morara, J. Mauro, and M. Gabbrielli. Solving XCSP problems by using Gecode. In CILC, 2011.
14. MiniZinc Challenge 2012. http://www.minizinc.org/challenge2012/ results2012.html.
15. N. Nethercote. Converting MiniZinc to FlatZinc. http://www.minizinc.org/ downloads/doc-1.6/mzn2fzn.pdf.
16. N. Nethercote, P. J. Stuckey, R. Becket, S. Brand, G. J. Duck, and G. Tack. MiniZinc: Towards a Standard CP Modelling Language. In CP, 2007.
17. E. O'Mahony, E. Hebrard, A. Holland, C. Nugent, and B. O'Sullivan. Using case-based reasoning in an algorithm portfolio for constraint solving. AICS 08, 2009.
18. O. Roussel and C. Lecoutre. XML Representation of Constraint Networks: Format XCSP 2.1. CoRR, abs/0902.2362, 2009.
19. L. Xu, F. Hutter, H. Hoos, and K. Leyton-Brown. Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors. In SAT, 2012.
20. L. Xu, F. Hutter, H. H. Hoos, and K. Leyton-Brown. SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT. In CP, 2007.