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 条
  • [31] A Constraint-Based Greedy-Local-Global Search for the Warehouse Location Problem
    Loeffler, Sven
    Hofstedt, Petra
    ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS, PT III, AIAI 2024, 2024, 713 : 291 - 304
  • [32] A Constraint-based Local Search for Designing Tree Networks with Distance and Disjoint Constraints
    Arbelaez, Alejandro
    Mehta, Deepak
    O'Sullivan, Barry
    Quesada, Luis
    2015 7TH INTERNATIONAL WORKSHOP ON RELIABLE NETWORKS DESIGN AND MODELING (RNDM) PROCE4EDINGS, 2015, : 128 - 134
  • [33] Towards Parallel Constraint-Based Local Search with the X10 Language
    Munera, Danny
    Diaz, Daniel
    Abreu, Salvador
    DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, 2014, 8439 : 169 - 184
  • [34] Scheduling Running Modes of Satellite Instruments Using Constraint-Based Local Search
    Pralet, Cedric
    Lemai-Chenevier, Solange
    Jaubert, Jean
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, 2015, 9255 : 704 - 719
  • [35] Supporting Efficient Global Moves on Sequences in Constraint-based Local Search Engines
    De landtsheer, Renaud
    Ospina, Gustavo
    Guyot, Yoann
    Germeau, Fabian
    Ponsard, Christophe
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON OPERATIONS RESEARCH AND ENTERPRISE SYSTEMS (ICORES), 2017, : 171 - 180
  • [36] Constraint-based search for optimal Golomb rulers
    M. M. A. Polash
    M. A. H. Newton
    A. Sattar
    Journal of Heuristics, 2017, 23 : 501 - 532
  • [37] Constraint-based search for optimal Golomb rulers
    Polash, M. M. A.
    Newton, M. A. H.
    Sattar, A.
    JOURNAL OF HEURISTICS, 2017, 23 (06) : 501 - 532
  • [38] Constraint-Based Local Search for Inventory Control Under Stochastic Demand and Lead Time
    Rossi, Roberto
    Tarim, S. Armagan
    Bollapragada, Ramesh
    INFORMS JOURNAL ON COMPUTING, 2012, 24 (01) : 66 - 80
  • [39] Declarative Local-Search Neighbourhoods in MiniZinc
    Bjordal, Gustav
    Flener, Pierre
    Pearson, Justin
    Stuckey, Peter J.
    Tack, Guido
    2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 98 - 105
  • [40] Local Propagation in Constraint-based Neural Networks
    Marra, Giuseppe
    Tiezzi, Matteo
    Melacci, Stefano
    Betti, Alessandro
    Maggini, Marco
    Gori, Marco
    2020 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), 2020,
12345