A constraint-based local search backend for MiniZinc

被引：0
|
作者：
Gustav Björdal
Jean-Noël Monette
Pierre Flener
Justin Pearson
机构：
[1] Uppsala University,Department of Information Technology
来源：
Constraints | 2015年 / 20卷
关键词：
Constraint-based local search; MiniZinc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
MiniZinc is a modelling language for combinatorial problems, which can then be solved by a solver provided in a backend. There are many backends, based on technologies such as constraint programming, integer programming, or Boolean satisfiability solving. However, to the best of our knowledge, there is currently no constraint-based local search (CBLS) backend. We discuss the challenges to develop such a backend and give an overview of the design of a CBLS backend for MiniZinc. Experimental results show that for some MiniZinc models, our CBLS backend, based on the OscaR/CBLS solver, is able to give good-quality results in competitive time.
引用
收藏
页码：325 / 345
页数：20
相关论文
共 50 条
  • [1] A constraint-based local search backend for MiniZinc
    Bjordal, Gustav
    Monette, Jean-Noel
    Flener, Pierre
    Pearson, Justin
    CONSTRAINTS, 2015, 20 (03) : 325 - 345
  • [2] Memoisation for Constraint-Based Local Search
    Agren, Magnus
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2009, 5732 : 119 - 126
  • [3] Distributed constraint-based local search
    Michel, Laurent
    See, Andrew
    Van Hentenryck, Pascal
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 344 - 358
  • [4] A constraint-based architecture for local search
    Michel, L
    Van Hentenryck, P
    ACM SIGPLAN NOTICES, 2002, 37 (11) : 101 - 110
  • [5] Constraint-based combinators for local search
    Van Hentenryck, P
    Michel, L
    Liu, LY
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2004, PROCEEDINGS, 2004, 3258 : 47 - 61
  • [6] Constraint-Based Local Search for Golomb Rulers
    Polash, M. M. Alam
    Newton, M. A. Hakim
    Sattar, Abdul
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, 2015, 9075 : 322 - 331
  • [7] Experiments in Parallel Constraint-Based Local Search
    Caniou, Yves
    Codognet, Philippe
    Diaz, Daniel
    Abreu, Salvador
    EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, 2011, 6622 : 96 - +
  • [8] A GPU Implementation of Parallel Constraint-based Local Search
    Arbelaez, Alejandro
    Codognet, Philippe
    2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014), 2014, : 657 - 664
  • [9] Performance Analysis of Parallel Constraint-Based Local Search
    Caniou, Yves
    Diaz, Daniel
    Richoux, Florian
    Codognet, Philippe
    Abreu, Salvador
    ACM SIGPLAN NOTICES, 2012, 47 (08) : 337 - 338
  • [10] Reasoning on Sequences in Constraint-Based Local Search Frameworks
    De Landtsheer, Renaud
    Guyot, Yoann
    Ospina, Gustavo
    Germeau, Fabian
    Ponsard, Christophe
    INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2018, 2018, 10848 : 117 - 134
12345