Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:HAL:hal-01931324v1

SUNNY-CP and the MiniZinc challenge

Authors
Publication date
1 January 2018
Publisher
Cambridge University Press (CUP)
Doi

    Abstract

    International audienceIn Constraint Programming (CP) a portfolio solver combines a variety of different constraint solvers for solving a given problem. This fairly recent approach enables to significantly boost the performance of single solvers, especially when multicore architectures are exploited. In this work we give a brief overview of the portfolio solver sunny-cp, and we discuss its performance in the MiniZinc Challenge-the annual international competition for CP solvers-where it won two gold medals in 2015 and 2016

    Similar works

    Full text

    thumbnail-image

    INRIA a CCSD electronic archive server

    redirect
    oaioai:HAL:hal-01931324v1
    Last time updated on 12/01/2019

    This paper was published in INRIA a CCSD electronic archive server.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.