Feature filtering for instance-specific algorithm configuration

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn , Issue , 2011, Pages 849-855

  Kroer, Christian ^a   Malitsky, Yuri ^b  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b Brown Univerity   (United States)

Author keywords

Algorithm configuration; CP; Feature selection; SAT

Indexed keywords

CP; EVALUATION FUNCTION; FEATURE FILTERING; NUMERICAL RESULTS; PARAMETERIZED; PERFORMANCE GAIN; RUNTIMES; SAT; TUNING ALGORITHM;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; FUNCTION EVALUATION;

FEATURE EXTRACTION;

EID: 84855810130     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2011.132     Document Type: Conference Paper

References (33)

1. B. Adenso-Diaz and M. Laguna. Fine-tuning of Algorithms using Fractional Experimental Design and Local Search. Operations Research, 54(1):99-114, 2006.
2. C. Ansotegui-Gil, M. Sellmann, K. Tierney. A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms. CP 2009, 142-157, 2009.
3. ArgoSAT. http://argo.matf.bg.ac.rs/software/.
4. CPAI08 Competition. http://www.cril.univ-artois.fr/CPAI08/.
5. C.P. Gomes and B. Selman. Algorithm Portfolios. Artificial Intelligence, 126(1-2):43-62, 2001. (Pubitemid 32196231)
6. G. Hamerly and C. Elkan. Learning the K in K-Means. NIPS, 2003.
7. H.H. Hoos. Adaptive Novelty+: Novelty+ with adaptive noise. AAAI, 2002.
8. F. Hutter, D. Tompkins, H.H. Hoos. RSAPS: Reactive Scaling And Probabilistic Smoothing. CP, 2002.
9. F. Hutter, H.H. Hoos, K. Leyton-Brown, T. Stuetzle. ParamILS: An Automatic Algorithm Configuration Framework. JAIR, 36:267-306, 2009.
10. IBM. IBM CPLEX Reference manual and user manual. V12.1, IBM 2009.
11. S. Kadioglu, Y. Malitsky, M. Sellmann, K. Tierney. ISAC - Instance-Specific Algorithm Configuration. ECAI, 751-756, 2010.
12. A.R. KhudaBukhsh, L. Xu, H.H. Hoos, K. Leyton-Brown. SATenstein: Automatically Building Local Search SAT Solvers From Components. IJCAI, 2009.
13. K. Leyton-Brown, E. Nudelman, G. Andrew, J. McFadden, Y. Shoham. A Portfolio Approach to Algorithm Selection. IJCAI, 1542-1543, 2003.
14. C.M. Li and W.Q. Huang. G2WSAT: Gradient-based Greedy WalkSAT. SAT, 3569:158-172, 2005.
15. M. Nikolic, F. Maric, P. Janici. Instance Based Selection of Policies for SAT Solvers. Theory and Applications of Satisfiability Testing, 326-340, 2009.
16. E. O'Mahony, E. Hebrard, A. Holland, C. Nugent, B. O'Sullivan. Using Case-based Reasoning in an Algorithm Portfolio for Constraint Solving. Irish Conference on Artificial Intelligence and Cognitive Science, 2008.
17. D.N. Pham and Anbulagan. ranov. Solver description. SAT Competition, 2007.
18. D.N. Pham and C. Gretton. gnovelty+. Solver description. SAT Competition, 2007.
19. S. Prestwich. VW: Variable Weighting Scheme. SAT, 2005.
20. J.R. Rice. The algorithm selection problem. Advances in Computers, 65-118, 1976.
21. SAT Competition. http://www.satcomptition.org.
22. SAT Competition 2011. http://www.cril.univ-artois.fr/SAT11/.
23. K.A. Smith-Miles. Cross-disciplinary perspectives on meta-learning for algorithm selection. ACM Comput. Surv., 41(1): 6:1-6:25, 2009.
24. B. Silverthorn and R. Miikkulainen. Latent Class Models for Algorithm Portfolio Methods. AAAI, 2010.
25. J. Thornton, D.N. Pham, S. Bain, V. Ferreira. Additive versus multiplicative clause weighting for SAT. PRICAI, 405-416, 2008.
26. D.A.D Tompkins, F. Hutter, H.H. Hoos. saps. Solver description. SAT Competition, 2007.
27. R. Vilata and Y. Drissi. A perspective view and survey of meta-learning. Artificial Intelligence, Rev. 18, 77-95, 2002.
28. W. Wei, C.M. Li, H. Zhang. Combining adaptive noise and promising decreasing variables in local search for SAT. Solver description. SAT Competition, 2007.
29. W. Wei, C.M. Li, H. Zhang. Deterministic and random selection of variables in local search for SAT. Solver description. SAT Competition, 2007.
30. W. Wei, C.M. Li, H. Zhang. adaptg2wsatp. Solver description. SAT Competition, 2007.
31. L. Xu, H. H. Hoos, K. Leyton-Brown. Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection. AAAI, 2010.
32. L. Xu, F. Hutter, H.H. Hoos, K. Leyton-Brown. SATzilla2009: an Automatic Algorithm Portfolio for SAT. Solver description. SAT Competition, 2009.
33. L. Xu, F. Hutter, H.H. Hoos, K. Leyton-Brown. SATzilla: Portfolio-based Algorithm Selection for SAT. JAIR, 32(1):565-606, 2008.