A constraint-based local search backend for MiniZinc

被引：17
|
作者：
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 条
  • [21] Constraint-Based Local Search for Constrained Optimum Paths Problems
    Pharm, Quang Dung
    Deville, Yves
    Van Hentenryck, Pascal
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, 2010, 6140 : 267 - +
  • [22] Model-driven visualizations of constraint-based local search
    Grégoire Dooms
    Pascal Van Hentenryck
    Laurent Michel
    Constraints, 2009, 14 : 294 - 324
  • [23] Targeting the Cell Broadband Engine for constraint-based local search
    Diaz, Daniel
    Abreu, Salvador
    Codognet, Philippe
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2012, 24 (06): : 647 - 660
  • [24] Constraint-Based Evolutionary Local Search for Protein Structures with Secondary Motifs
    Shatabda, Swakkhar
    Newton, M. A. Hakim
    Sattar, Abdul
    PRICAI 2014: TRENDS IN ARTIFICIAL INTELLIGENCE, 2014, 8862 : 333 - 344
  • [25] A Constraint-Based Local Search for Offline and Online General Vehicle Routing
    Pham Quang Dung
    Le Kim Thu
    Nguyen Thanh Hoang
    Pham Van Dinh
    Bui Quoc Trung
    INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2017, 26 (02)
  • [26] Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search
    Quoc Trung Bui
    Quang Dung Pham
    Deville, Yves
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, 2013, 8124 : 749 - 757
  • [27] Constraint-based evolutionary local search for protein structures with secondary motifs
    Shatabda, Swakkhar, 1600, Springer Verlag (8862):
  • [28] Excluding Symmetries in Constraint-Based Search
    Rolf Backofen
    Sebastian Will
    Constraints, 2002, 7 (3-4) : 333 - 349
  • [29] Excluding symmetries in constraint-based search
    Backofen, R
    Will, S
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP'99, 1999, 1713 : 73 - 87
  • [30] Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search
    Spieker, Helge
    THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 10037 - 10038
12345