SCIL -: Symbolic constraints in integer linear programming

被引：0
|
作者：
Althaus, E
Bockmayr, A
Elf, M
Jünger, M
Kasper, T
Mehlhorn, K
机构：
[1] Int Comp Sci Inst, Berkeley, CA 94704 USA
[2] Univ Henri Poincare, LORIA, F-54506 Vandoeuvre Les Nancy, France
[3] Univ Cologne, Inst Informat, D-50969 Cologne, Germany
[4] SAP AG, GBU Supply Chain Management, D-69189 Walldorf, Germany
[5] Max Planck Inst Informat, D-66123 Saarbrucken, Germany
来源：
ALGORITHMS-ESA 2002, PROCEEDINGS | 2002年 / 2461卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We describe a new software system SCIL that introduces symbolic constraints into branch-and-cut-and-price algorithms for integer linear programs. Symbolic constraints are known from constraint programming and contribute significantly to the expressive power, ease of use, and efficiency of constraint programming systems.
引用
收藏
页码：75 / 87
页数：13
相关论文
共 50 条
  • [1] An integer programming approach for linear programs with Probabilistic constraints
    Luedtke, James
    Ahmed, Shabbir
    Nemhauser, George
    [J]. INTEGER PROGRAMMING AND COMBINATORIAL OPTIMIZATION, PROCEEDINGS, 2007, 4513 : 410 - +
  • [2] Analysis of Authorization Constraints via Integer Linear Programming
    Yang, Benyuan
    Hu, Hesuan
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2023, 35 (03) : 2258 - 2271
  • [3] An integer programming approach for linear programs with probabilistic constraints
    James Luedtke
    Shabbir Ahmed
    George L. Nemhauser
    [J]. Mathematical Programming, 2010, 122 : 247 - 272
  • [4] An integer programming approach for linear programs with probabilistic constraints
    Luedtke, James
    Ahmed, Shabbir
    Nemhauser, George L.
    [J]. MATHEMATICAL PROGRAMMING, 2010, 122 (02) : 247 - 272
  • [5] Mixed integer linear programming formulations for probabilistic constraints
    Vielma, J. P.
    Ahmed, S.
    Nemhauser, G. L.
    [J]. OPERATIONS RESEARCH LETTERS, 2012, 40 (03) : 153 - 158
  • [6] Modelling Constraints in School Timetabling using Integer Linear Programming
    Ribic, Samir
    Turcinhozic, Razija
    Muratovic-Ribic, Amela
    [J]. 2015 XXV INTERNATIONAL CONFERENCE ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES (ICAT), 2015,
  • [7] An Integer Linear Programming Framework for Mining Constraints from Data
    Meng, Tao
    Chang, Kai-Wei
    [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139, 2021, 139
  • [8] LAGRANGEAN DECOMPOSITION FOR INTEGER NONLINEAR-PROGRAMMING WITH LINEAR CONSTRAINTS
    MICHELON, P
    MACULAN, N
    [J]. MATHEMATICAL PROGRAMMING, 1991, 52 (02) : 303 - 313
  • [9] NON-LINEAR INTEGER PROGRAMMING FOR VARIOUS FORMS OF CONSTRAINTS
    COOPER, MW
    FARHANGIAN, K
    [J]. NAVAL RESEARCH LOGISTICS, 1982, 29 (04) : 585 - 592
  • [10] An Exact Symbolic Reduction of Linear Smart Predict plus Optimize to Mixed Integer Linear Programming
    Jeong, Jihwan
    Jaggi, Parth
    Butler, Andrew
    Sanner, Scott
    [J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022, : 10053 - 10067
12345