A constraint-based local search backend for MiniZinc

被引：16
|
作者：
Bjordal, Gustav [1 ]
Monette, Jean-Noel [1 ]
Flener, Pierre [1 ]
Pearson, Justin [1 ]
机构：
[1] Uppsala Univ, Dept Informat Technol, S-75105 Uppsala, Sweden
来源：
CONSTRAINTS | 2015年 / 20卷 / 03期
基金：
瑞典研究理事会;
关键词：
Constraint-based local search; MiniZinc; ABSTRACTIONS;
D O I：
10.1007/s10601-015-9184-z
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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
页数：21
相关论文
共 50 条
  • [1] A constraint-based local search backend for MiniZinc
    Gustav Björdal
    Jean-Noël Monette
    Pierre Flener
    Justin Pearson
    [J]. Constraints, 2015, 20 : 325 - 345
  • [2] Memoisation for Constraint-Based Local Search
    Agren, Magnus
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2009, 5732 : 119 - 126
  • [3] Distributed constraint-based local search
    Michel, Laurent
    See, Andrew
    Van Hentenryck, Pascal
    [J]. 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
    [J]. ACM SIGPLAN NOTICES, 2002, 37 (11) : 101 - 110
  • [5] Constraint-based combinators for local search
    Van Hentenryck, P
    Michel, L
    Liu, LY
    [J]. 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
    [J]. 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
    [J]. EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, 2011, 6622 : 96 - +
  • [8] A GPU Implementation of Parallel Constraint-based Local Search
    Arbelaez, Alejandro
    Codognet, Philippe
    [J]. 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
    [J]. 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
    [J]. INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2018, 2018, 10848 : 117 - 134
12345