SUNNY-CP and the MiniZinc challenge

DOI10.1017/S1471068417000205zbMath1425.68384arXiv1706.08627MaRDI QIDQ4603429

Jacopo Mauro, Maurizio Gabbrielli, Roberto Amadini

Publication date: 20 February 2018

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1706.08627

zbMATH Keywords

algorithm portfoliosconstraint programmingalgorithm selectionMiniZinc

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• MiniZinc
• NumberJack
• Picat-SAT
• sunny-cp
• SUNNY

Cites Work

• Unnamed Item
• Guest editorial: Revised selected papers from the LION 8 conference
• Learning general constraints in CSP
• Algorithm runtime prediction: methods \& evaluation
• Integration of AI and OR techniques in constraint programming for combinatorial optimization problems. 7th international conference, CPAIOR 2010, Bologna, Italy, June 14--18, 2010. Proceedings
• SOFSEM 2007: Theory and practice of computer science. 33rd conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 20--26, 2007. Proceedings
• SUNNY: a Lazy Portfolio Approach for Constraint Solving
• Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
• Algorithm portfolios

This page was built for publication: SUNNY-CP and the MiniZinc challenge