Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "constraint integer"
download as .bib file
@article{DBLP:journals/acta/WuCWXZ24,
author = {Hao Wu and
Yu{-}Fang Chen and
Zhilin Wu and
Bican Xia and
Naijun Zhan},
title = {A decision procedure for string constraints with string/integer conversion
and flat regular constraints},
journal = {Acta Informatica},
volume = {61},
number = {1},
pages = {23--52},
year = {2024}
}
@article{DBLP:journals/jco/HuXDM24,
author = {Jiaming Hu and
Dachuan Xu and
Donglei Du and
Cuixia Miao},
title = {Differentially private submodular maximization with a cardinality
constraint over the integer lattice},
journal = {J. Comb. Optim.},
volume = {47},
number = {4},
pages = {58},
year = {2024}
}
@article{DBLP:journals/swevo/LiuYXQG24,
author = {Yuanhao Liu and
Zan Yang and
Danyang Xu and
Haobo Qiu and
Liang Gao},
title = {A Kriging-assisted Double Population Differential Evolution for Mixed-Integer
Expensive Constrained Optimization Problems with Mixed Constraints},
journal = {Swarm Evol. Comput.},
volume = {84},
pages = {101428},
year = {2024}
}
@article{DBLP:journals/tcst/SunGWC24,
author = {Mengge Sun and
Lulu Guo and
Yulei Wang and
Hong Chen},
title = {Mixed-Integer Optimal Control for Switching Powertrain System With
Dwell-Time Constraints},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {32},
number = {3},
pages = {1082--1089},
year = {2024}
}
@inproceedings{DBLP:conf/aaai/Ge24,
author = {Cunjing Ge},
title = {Approximate Integer Solution Counts over Linear Arithmetic Constraints},
booktitle = {{AAAI}},
pages = {8022--8029},
publisher = {{AAAI} Press},
year = {2024}
}
@inproceedings{DBLP:conf/inoc/BastosBV24,
author = {Marcelo Ant{\^{o}}nio Mendes Bastos and
Humberto Brand{\~{a}}o and
Cristiano Arbex Valle},
title = {Ensemble pruning via an integer programming approach with diversity
constraints},
booktitle = {{INOC}},
pages = {4--9},
publisher = {OpenProceedings.org},
year = {2024}
}
@inproceedings{DBLP:conf/soda/DefossezHMP24,
author = {R{\'{e}}my D{\'{e}}fossez and
Christoph Haase and
Alessio Mansutti and
Guillermo A. P{\'{e}}rez},
title = {Integer Programming with {GCD} Constraints},
booktitle = {{SODA}},
pages = {3605--3658},
publisher = {{SIAM}},
year = {2024}
}
@article{DBLP:journals/corr/abs-2402-10298,
author = {Jingjing Tan},
title = {Streaming algorithm for balance gain and cost with cardinality constraint
on the integer lattice},
journal = {CoRR},
volume = {abs/2402.10298},
year = {2024}
}
@article{DBLP:journals/corr/abs-2402-15522,
author = {Robert Nieuwenhuis and
Albert Oliveras and
Enric Rodr{\'{\i}}guez{-}Carbonell},
title = {IntSat: Integer Linear Programming by Conflict-Driven Constraint-Learning},
journal = {CoRR},
volume = {abs/2402.15522},
year = {2024}
}
@article{DBLP:journals/algorithmica/SubramaniW23,
author = {K. Subramani and
Piotr Wojciechowski},
title = {Integer Feasibility and Refutations in {UTVPI} Constraints Using Bit-Scaling},
journal = {Algorithmica},
volume = {85},
number = {2},
pages = {610--637},
year = {2023}
}
@article{DBLP:journals/apjor/TanYZZ23,
author = {Jingjing Tan and
Ruiqi Yang and
Yapu Zhang and
Mingyue Zhu},
title = {Streaming Algorithms for Non-Submodular Functions Maximization with
d-Knapsack Constraint on the Integer Lattice},
journal = {Asia Pac. J. Oper. Res.},
volume = {40},
number = {5},
pages = {2340018:1--2340018:16},
year = {2023}
}
@article{DBLP:journals/ar/CaregnatoNetoMA23,
author = {Angelo Caregnato{-}Neto and
Marcos R. O. de A. M{\'{a}}ximo and
Rubens Junqueira Magalh{\~{a}}es Afonso},
title = {Real-time motion planning and decision-making for a group of differential
drive robots under connectivity constraints using robust {MPC} and
mixed-integer programming},
journal = {Adv. Robotics},
volume = {37},
number = {5},
pages = {356--379},
year = {2023}
}
@article{DBLP:journals/constraints/UlrichOlteanNW23,
author = {Felix Ulrich{-}Oltean and
Peter Nightingale and
James Alfred Walker},
title = {Learning to select {SAT} encodings for pseudo-Boolean and linear integer
constraints},
journal = {Constraints An Int. J.},
volume = {28},
number = {3},
pages = {397--426},
year = {2023}
}
@article{DBLP:journals/ejco/WeinerELS23,
author = {Jake Weiner and
Andreas T. Ernst and
Xiaodong Li and
Yuan Sun},
title = {Ranking constraint relaxations for mixed integer programs using a
machine learning approach},
journal = {{EURO} J. Comput. Optim.},
volume = {11},
pages = {100061},
year = {2023}
}
@article{DBLP:journals/ejco/YfantisWWRE23,
author = {Vassilios Yfantis and
Simon Wenzel and
Achim Wagner and
Martin Ruskowski and
Sebastian Engell},
title = {Hierarchical distributed optimization of constraint-coupled convex
and mixed-integer programs using approximations of the dual function},
journal = {{EURO} J. Comput. Optim.},
volume = {11},
pages = {100058},
year = {2023}
}
@article{DBLP:journals/eor/Mesquita-CunhaF23,
author = {Mariana Mesquita{-}Cunha and
Jos{\'{e}} Rui Figueira and
Ana Paula F. D. Barbosa{-}P{\'{o}}voa},
title = {New {\unicode{1013}}-constraint methods for multi-objective integer
linear programming: {A} Pareto front representation approach},
journal = {Eur. J. Oper. Res.},
volume = {306},
number = {1},
pages = {286--307},
year = {2023}
}
@article{DBLP:journals/eswa/AlcantaraR23,
author = {Antonio Alc{\'{a}}ntara and
Carlos Ruiz},
title = {A neural network-based distributional constraint learning methodology
for mixed-integer stochastic optimization},
journal = {Expert Syst. Appl.},
volume = {232},
pages = {120895},
year = {2023}
}
@article{DBLP:journals/jcb/TamuraMTK23,
author = {Takeyuki Tamura and
Ai Muto{-}fujita and
Yukako Tohsato and
Tomoyuki Kosaka},
title = {Gene Deletion Algorithms for Minimum Reaction Network Design by Mixed-Integer
Linear Programming for Metabolite Production in Constraint-Based Models:
gDel{\_}minRN},
journal = {J. Comput. Biol.},
volume = {30},
number = {5},
pages = {553--568},
year = {2023}
}
@article{DBLP:journals/tkde/YangH23,
author = {Benyuan Yang and
Hesuan Hu},
title = {Analysis of Authorization Constraints via Integer Linear Programming},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {35},
number = {3},
pages = {2258--2271},
year = {2023}
}
@inproceedings{DBLP:conf/aaai/ChembuSKK23,
author = {Aravinth Chembu and
Scott Sanner and
Hassan Khurram and
Akshat Kumar},
title = {Scalable and Globally Optimal Generalized L{\unicode{8321}} K-center
Clustering via Constraint Generation in Mixed Integer Linear Programming},
booktitle = {{AAAI}},
pages = {7015--7023},
publisher = {{AAAI} Press},
year = {2023}
}
@inproceedings{DBLP:conf/aaai/YeWXWJ23,
author = {Huigen Ye and
Hongyan Wang and
Hua Xu and
Chengming Wang and
Yu Jiang},
title = {Adaptive Constraint Partition Based Optimization Framework for Large-Scale
Integer Linear Programming (Student Abstract)},
booktitle = {{AAAI}},
pages = {16376--16377},
publisher = {{AAAI} Press},
year = {2023}
}
@inproceedings{DBLP:conf/camsap/LiuMSPHP23,
author = {Tianyi Liu and
Frederic Matter and
Alexander Sorg and
Marc E. Pfetsch and
Martin Haardt and
Marius Pesavento},
title = {Joint Sparse Estimation with Cardinality Constraint via Mixed-Integer
Semidefinite Programming},
booktitle = {{CAMSAP}},
pages = {106--110},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/cisis/BuhariM23,
author = {Seyed M. Buhari and
Jyothi Manoj},
title = {Solving University Course Scheduling with Varied Constraints Using
Integer Linear Programming},
booktitle = {{CISIS}},
series = {Lecture Notes on Data Engineering and Communications Technologies},
volume = {176},
pages = {80--91},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/cocoa/SubramaniW23,
author = {K. Subramani and
Piotr Wojciechowski},
title = {Parameterized and Exact-Exponential Algorithms for the Read-Once Integer
Refutation Problem in {UTVPI} Constraints},
booktitle = {{COCOA} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {14462},
pages = {377--389},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/csonet/ZhouLQ23,
author = {Guangwen Zhou and
Bin Liu and
Yuanyuan Qiang},
title = {Deletion-Robust Submodular Maximization Under the Cardinality Constraint
over the Integer Lattice},
booktitle = {CSoNet},
series = {Lecture Notes in Computer Science},
volume = {14479},
pages = {234--242},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/eucc/Caregnato-NetoM23,
author = {Angelo Caregnato{-}Neto and
Marcos R. O. A. M{\'{a}}ximo and
Rubens Junqueira Magalh{\~{a}}es Afonso},
title = {A Novel Line of Sight Constraint for Mixed-Integer Programming Models
with Applications to Multi-Agent Motion Planning},
booktitle = {{ECC}},
pages = {1--6},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/gecco/HongA23,
author = {Yuan Hong and
Dirk Arnold},
title = {Evolutionary Mixed-Integer Optimization with Explicit Constraints},
booktitle = {{GECCO}},
pages = {822--830},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/hais/CandelSAJB23,
author = {Gonzalo Candel and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Juan M. Alberola and
Vicente Juli{\'{a}}n and
Vicent J. Botti},
title = {An Integer Linear Programming Model for Team Formation in the Classroom
with Constraints},
booktitle = {{HAIS}},
series = {Lecture Notes in Computer Science},
volume = {14001},
pages = {397--408},
publisher = {Springer},
year = {2023}
}
@inproceedings{DBLP:conf/issta/JiaH00MZ23,
author = {Fuqi Jia and
Rui Han and
Pei Huang and
Minghao Liu and
Feifei Ma and
Jian Zhang},
title = {Improving Bit-Blasting for Nonlinear Integer Constraints},
booktitle = {{ISSTA}},
pages = {14--25},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/itsc/HalderCA23,
author = {Patrick Halder and
Fabian Christ and
Matthias Althoff},
title = {Lexicographic Mixed-Integer Motion Planning with {STL} Constraints},
booktitle = {{ITSC}},
pages = {1361--1367},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/nfm/Forsey-SmerekS023,
author = {Alexandra Forsey{-}Smerek and
Ho Chit Siu and
Kevin Leahy},
title = {Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer
Quadratic Programming},
booktitle = {{NFM}},
series = {Lecture Notes in Computer Science},
volume = {13903},
pages = {191--206},
publisher = {Springer},
year = {2023}
}
@article{DBLP:journals/corr/abs-2306-15002,
author = {Muhammad Abbas and
Oscar Gustafsson},
title = {Integer Linear Programming Modeling of Addition Sequences With Additional
Constraints for Evaluation of Power Terms},
journal = {CoRR},
volume = {abs/2306.15002},
year = {2023}
}
@article{DBLP:journals/corr/abs-2306-15590,
author = {Angelo Caregnato{-}Neto and
Marcos Ricardo Omena de Albuquerque M{\'{a}}ximo and
Rubens Junqueira Magalh{\~{a}}es Afonso},
title = {A Mixed-Integer Approach for Motion Planning of Nonholonomic Robots
under Visible Light Communication Constraints},
journal = {CoRR},
volume = {abs/2306.15590},
year = {2023}
}
@article{DBLP:journals/corr/abs-2306-17395,
author = {Mostafa Goodarzi and
Qifeng Li},
title = {Real-time Optimization for Wind-to-H2 Driven Critical Infrastructures:
High-fidelity Active Constraints and Integer Variables Prediction
Enhanced by Feature Space Expansion},
journal = {CoRR},
volume = {abs/2306.17395},
year = {2023}
}
@article{DBLP:journals/corr/abs-2307-09342,
author = {Felix Ulrich{-}Oltean and
Peter Nightingale and
James Alfred Walker},
title = {Learning to Select {SAT} Encodings for Pseudo-Boolean and Linear Integer
Constraints},
journal = {CoRR},
volume = {abs/2307.09342},
year = {2023}
}
@article{DBLP:journals/corr/abs-2308-13609,
author = {R{\'{e}}my D{\'{e}}fossez and
Christoph Haase and
Alessio Mansutti and
Guillermo A. P{\'{e}}rez},
title = {Integer Programming with {GCD} Constraints},
journal = {CoRR},
volume = {abs/2308.13609},
year = {2023}
}
@article{DBLP:journals/corr/abs-2309-16279,
author = {Camille Salinesi and
Ra{\'{u}}l Mazo and
Daniel Diaz and
Olfa Djebbi},
title = {Using Integer Constraint Solving in Reuse Based Requirements Engineering},
journal = {CoRR},
volume = {abs/2309.16279},
year = {2023}
}
@article{DBLP:journals/corr/abs-2311-08022,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy H. M. Lee},
title = {Two-Stage Predict+Optimize for Mixed Integer Linear Programs with
Unknown Parameters in Constraints},
journal = {CoRR},
volume = {abs/2311.08022},
year = {2023}
}
@article{DBLP:journals/corr/abs-2312-08776,
author = {Cunjing Ge},
title = {Approximate Integer Solution Counts over Linear Arithmetic Constraints},
journal = {CoRR},
volume = {abs/2312.08776},
year = {2023}
}
@article{DBLP:journals/cee/TanZZZ22,
author = {Jingjing Tan and
Dongmei Zhang and
Hongyang Zhang and
Zhenning Zhang},
title = {One-pass streaming algorithm for DR-submodular maximization with a
knapsack constraint over the integer lattice},
journal = {Comput. Electr. Eng.},
volume = {99},
pages = {107766},
year = {2022}
}
@article{DBLP:journals/constraints/KoshimuraWSY22,
author = {Miyuki Koshimura and
Emi Watanabe and
Yuko Sakurai and
Makoto Yokoo},
title = {Concise integer linear programming formulation for clique partitioning
problems},
journal = {Constraints An Int. J.},
volume = {27},
number = {1-2},
pages = {99--115},
year = {2022}
}
@article{DBLP:journals/ejcon/Caregnato-NetoM22,
author = {Angelo Caregnato{-}Neto and
Marcos Ricardo Omena de Albuquerque M{\'{a}}ximo and
Rubens Junqueira Magalh{\~{a}}es Afonso},
title = {A line of sight constraint based on intermediary points for connectivity
maintenance of multiagent systems using mixed-Integer programming},
journal = {Eur. J. Control},
volume = {68},
pages = {100671},
year = {2022}
}
@article{DBLP:journals/informs/MacNeilB22,
author = {Moira MacNeil and
Merve Bodur},
title = {Integer Programming, Constraint Programming, and Hybrid Decomposition
Approaches to Discretizable Distance Geometry Problems},
journal = {{INFORMS} J. Comput.},
volume = {34},
number = {1},
pages = {297--314},
year = {2022}
}
@article{DBLP:journals/jgo/ZerfaC22,
author = {Lamia Zerfa and
Mohamed El{-}Amine Chergui},
title = {Finding non dominated points for multiobjective integer convex programs
with linear constraints},
journal = {J. Glob. Optim.},
volume = {84},
number = {1},
pages = {95--117},
year = {2022}
}
@article{DBLP:journals/kbs/Jimenez-Cordero22,
author = {Asunci{\'{o}}n Jim{\'{e}}nez{-}Cordero and
Juan Miguel Morales and
Salvador Pineda},
title = {Warm-starting constraint generation for mixed-integer optimization:
{A} Machine Learning approach},
journal = {Knowl. Based Syst.},
volume = {253},
pages = {109570},
year = {2022}
}
@article{DBLP:journals/or/OrnekOS22,
author = {M. Arslan Ornek and
Cemalettin Ozturk and
Ipek Sugut},
title = {Integer and constraint programming model formulations for flight-gate
assignment problem},
journal = {Oper. Res.},
volume = {22},
number = {1},
pages = {135--163},
year = {2022}
}
@article{DBLP:journals/orl/SantisEP22,
author = {Marianna De Santis and
Gabriele Eichfelder and
Daniele Patria},
title = {On the exactness of the \emph{{\(\epsilon\)}}-constraint method for
biobjective nonlinear integer programming},
journal = {Oper. Res. Lett.},
volume = {50},
number = {3},
pages = {356--361},
year = {2022}
}
@article{DBLP:journals/tcs/TanWYZZ22,
author = {Jingjing Tan and
Fengmin Wang and
Weina Ye and
Xiaoqing Zhang and
Yang Zhou},
title = {Streaming algorithms for monotone non-submodular function maximization
under a knapsack constraint on the integer lattice},
journal = {Theor. Comput. Sci.},
volume = {937},
pages = {39--49},
year = {2022}
}
@inproceedings{DBLP:conf/aaai/RubinBSC22,
author = {Noah Rubin and
Curtis Bright and
Brett Stevens and
Kevin K. H. Cheung},
title = {Integer and Constraint Programming Revisited for Mutually Orthogonal
Latin Squares (Student Abstract)},
booktitle = {{AAAI}},
pages = {13037--13038},
publisher = {{AAAI} Press},
year = {2022}
}
@inproceedings{DBLP:conf/cp/Ulrich-OlteanNW22,
author = {Felix Ulrich{-}Oltean and
Peter Nightingale and
James Alfred Walker},
title = {Selecting {SAT} Encodings for Pseudo-Boolean and Linear Integer Constraints},
booktitle = {{CP}},
series = {LIPIcs},
volume = {235},
pages = {38:1--38:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022}
}
@incollection{DBLP:books/degruyter/22/PiatkowskiF22-1,
author = {Nico Piatkowski},
title = {Integer Exponential Families},
booktitle = {Mach. Learn. under Resour. Constraints Vol. 1 {(1)}},
series = {De Gruyter {STEM}},
pages = {406--422},
publisher = {De Gruyter},
year = {2022}
}
@article{DBLP:journals/corr/abs-2205-01088,
author = {Marcelo Ant{\^{o}}nio Mendes Bastos and
Humberto C{\'{e}}sar Brand{\~{a}}o de Oliveira and
Cristiano Arbex Valle},
title = {Ensemble pruning via an integer programming approach with diversity
constraints},
journal = {CoRR},
volume = {abs/2205.01088},
year = {2022}
}
@article{DBLP:journals/corr/abs-2206-00097,
author = {Angelo Caregnato{-}Neto and
Marcos Ricardo Omena de Albuquerque M{\'{a}}ximo and
Rubens Junqueira Magalh{\~{a}}es Afonso},
title = {Real-time motion planning and decision-making for a group of differential
drive robots under connectivity constraints using robust {MPC} and
mixed-integer programming},
journal = {CoRR},
volume = {abs/2206.00097},
year = {2022}
}
@article{DBLP:journals/corr/abs-2208-02713,
author = {Rodrigo Raya and
Jad Hamza and
Viktor Kuncak},
title = {{NP} Decision Procedure for Monomial and Linear Integer Constraints},
journal = {CoRR},
volume = {abs/2208.02713},
year = {2022}
}
@article{DBLP:journals/corr/abs-2211-11564,
author = {Huigen Ye and
Hongyan Wang and
Hua Xu and
Chengming Wang and
Yu Jiang},
title = {Adaptive Constraint Partition based Optimization Framework for Large-scale
Integer Linear Programming(Student Abstract)},
journal = {CoRR},
volume = {abs/2211.11564},
year = {2022}
}
@phdthesis{DBLP:phd/ethos/Mistry21,
author = {Miten Mistry},
title = {Branching strategies for mixed-integer programs containing logical
constraints and decomposable structure},
school = {Imperial College London, {UK}},
year = {2021}
}
@article{DBLP:journals/access/ShahKW21,
author = {Chinmay Shah and
Jennifer King and
Richard W. Wies},
title = {Distributed {ADMM} Using Private Blockchain for Power Flow Optimization
in Distribution Network With Coupled and Mixed-Integer Constraints},
journal = {{IEEE} Access},
volume = {9},
pages = {46560--46572},
year = {2021}
}
@article{DBLP:journals/apjor/ZhangGWXZ21,
author = {Zhenning Zhang and
Longkun Guo and
Yishui Wang and
Dachuan Xu and
Dongmei Zhang},
title = {Streaming Algorithms for Maximizing Monotone DR-Submodular Functions
with a Cardinality Constraint on the Integer Lattice},
journal = {Asia Pac. J. Oper. Res.},
volume = {38},
number = {5},
pages = {2140004:1--2140004:14},
year = {2021}
}
@article{DBLP:journals/constraints/DevriendtGN21,
author = {Jo Devriendt and
Ambros M. Gleixner and
Jakob Nordstr{\"{o}}m},
title = {Learn to relax: Integrating 0-1 integer linear programming with pseudo-Boolean
conflict-driven search},
journal = {Constraints An Int. J.},
volume = {26},
number = {1},
pages = {26--55},
year = {2021}
}
@article{DBLP:journals/cor/KarabulutAN21,
author = {Ezgi Karabulut and
Shabbir Ahmed and
George L. Nemhauser},
title = {Decentralized online integer programming problems with a coupling
cardinality constraint},
journal = {Comput. Oper. Res.},
volume = {135},
pages = {105421},
year = {2021}
}
@article{DBLP:journals/heuristics/GuignardA21,
author = {Monique Guignard and
Aykut Ahlat{\c{c}}ioglu},
title = {The convex hull heuristic for nonlinear integer programming problems
with linear constraints and application to quadratic 0-1 problems},
journal = {J. Heuristics},
volume = {27},
number = {1-2},
pages = {251--265},
year = {2021}
}
@article{DBLP:journals/itor/DeplanoLN21,
author = {Igor Deplano and
Charly Lersteau and
Trung Thanh Nguyen},
title = {A mixed-integer linear model for the multiple heterogeneous knapsack
problem with realistic container loading constraints and bins' priority},
journal = {Int. Trans. Oper. Res.},
volume = {28},
number = {6},
pages = {3244--3275},
year = {2021}
}
@article{DBLP:journals/jgo/ZhangDJW21,
author = {Zhenning Zhang and
Donglei Du and
Yanjun Jiang and
Chenchen Wu},
title = {Maximizing DR-submodular+supermodular functions on the integer lattice
subject to a cardinality constraint},
journal = {J. Glob. Optim.},
volume = {80},
number = {3},
pages = {595--616},
year = {2021}
}
@article{DBLP:journals/mp/GottlichHPS21,
author = {Simone G{\"{o}}ttlich and
Falk M. Hante and
Andreas Potschka and
Lars Schewe},
title = {Penalty alternating direction methods for mixed-integer optimal control
with combinatorial constraints},
journal = {Math. Program.},
volume = {188},
number = {2},
pages = {599--619},
year = {2021}
}
@article{DBLP:journals/mp/ZeileRS21,
author = {Clemens Zeile and
Nicol{\`{o}} Robuschi and
Sebastian Sager},
title = {Mixed-integer optimal control under minimum dwell time constraints},
journal = {Math. Program.},
volume = {188},
number = {2},
pages = {653--694},
year = {2021}
}
@article{DBLP:journals/networks/Hochbaum21,
author = {Dorit S. Hochbaum},
title = {Applications and efficient algorithms for integer programming problems
on monotone constraints},
journal = {Networks},
volume = {77},
number = {1},
pages = {21--49},
year = {2021}
}
@article{DBLP:journals/rairo/DiasRMM21,
author = {Bruno Dias and
Rosiane de Freitas Rodrigues and
Nelson Maculan and
Philippe Michelon},
title = {Integer and constraint programming approaches for providing optimality
to the bandwidth multicoloring problem},
journal = {{RAIRO} Oper. Res.},
volume = {55},
number = {Supplement},
pages = {S1949--S1967},
year = {2021}
}
@article{DBLP:journals/scheduling/HubnerGSV21,
author = {Felix H{\"{u}}bner and
Patrick Gerhards and
Christian St{\"{u}}rck and
Rebekka Volk},
title = {Solving the nuclear dismantling project scheduling problem by combining
mixed-integer and constraint programming techniques and metaheuristics},
journal = {J. Sched.},
volume = {24},
number = {3},
pages = {269--290},
year = {2021}
}
@article{DBLP:journals/siamjo/BertsimasCP21,
author = {Dimitris Bertsimas and
Ryan Cory{-}Wright and
Jean Pauphilet},
title = {A Unified Approach to Mixed-Integer Optimization Problems With Logical
Constraints},
journal = {{SIAM} J. Optim.},
volume = {31},
number = {3},
pages = {2340--2367},
year = {2021}
}
@article{DBLP:journals/siamjo/DanLM21,
author = {Teodora Dan and
Andrea Lodi and
Patrice Marcotte},
title = {An Exact Algorithmic Framework for a Class of Mixed-Integer Programs
with Equilibrium Constraints},
journal = {{SIAM} J. Optim.},
volume = {31},
number = {1},
pages = {275--306},
year = {2021}
}
@article{DBLP:journals/swevo/PawlakO21,
author = {Tomasz P. Pawlak and
Michael O'Neill},
title = {Grammatical evolution for constraint synthesis for mixed-integer linear
programming},
journal = {Swarm Evol. Comput.},
volume = {64},
pages = {100896},
year = {2021}
}
@article{DBLP:journals/tac/RikosH21a,
author = {Apostolos I. Rikos and
Christoforos N. Hadjicostis},
title = {Distributed Integer Balancing Under Weight Constraints in the Presence
of Transmission Delays},
journal = {{IEEE} Trans. Autom. Control.},
volume = {66},
number = {4},
pages = {1910--1917},
year = {2021}
}
@article{DBLP:journals/tcns/ChamanbazNSB21,
author = {Mohammadreza Chamanbaz and
Giuseppe Notarstefano and
Francesco Sasso and
Roland Bouffanais},
title = {Randomized Constraints Consensus for Distributed Robust Mixed-Integer
Programming},
journal = {{IEEE} Trans. Control. Netw. Syst.},
volume = {8},
number = {1},
pages = {295--306},
year = {2021}
}
@inproceedings{DBLP:conf/cocoa/TanWZZ21,
author = {Jingjing Tan and
Fengmin Wang and
Xiaoqing Zhang and
Yang Zhou},
title = {Maximization of Monotone Non-submodular Functions with a Knapsack
Constraint over the Integer Lattice},
booktitle = {{COCOA}},
series = {Lecture Notes in Computer Science},
volume = {13135},
pages = {364--373},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/csonet/TanXZZ21,
author = {Jingjing Tan and
Yicheng Xu and
Dongmei Zhang and
Xiaoqing Zhang},
title = {Maximizing the Sum of a Supermodular Function and a Monotone DR-submodular
Function Subject to a Knapsack Constraint on the Integer Lattice},
booktitle = {CSoNet},
series = {Lecture Notes in Computer Science},
volume = {13116},
pages = {68--75},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/gecco/BliekGVW21,
author = {Laurens Bliek and
Arthur Guijt and
Sicco Verwer and
Mathijs de Weerdt},
title = {Black-box mixed-variable optimisation using a surrogate model that
satisfies integer constraints},
booktitle = {{GECCO} Companion},
pages = {1851--1859},
publisher = {{ACM}},
year = {2021}
}
@inproceedings{DBLP:conf/icml/MengC21,
author = {Tao Meng and
Kai{-}Wei Chang},
title = {An Integer Linear Programming Framework for Mining Constraints from
Data},
booktitle = {{ICML}},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {7619--7631},
publisher = {{PMLR}},
year = {2021}
}
@inproceedings{DBLP:conf/icml/PaulusRMAM21,
author = {Anselm Paulus and
Michal Rol{\'{\i}}nek and
V{\'{\i}}t Musil and
Brandon Amos and
Georg Martius},
title = {CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming
Constraints},
booktitle = {{ICML}},
series = {Proceedings of Machine Learning Research},
volume = {139},
pages = {8443--8453},
publisher = {{PMLR}},
year = {2021}
}
@inproceedings{DBLP:conf/ictai/RubinBCS21,
author = {Noah Rubin and
Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens},
title = {Improving Integer and Constraint Programming for Graeco-Latin Squares},
booktitle = {{ICTAI}},
pages = {604--608},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/ijcai/GeB21,
author = {Cunjing Ge and
Armin Biere},
title = {Decomposition Strategies to Count Integer Solutions over Linear Constraints},
booktitle = {{IJCAI}},
pages = {1389--1395},
publisher = {ijcai.org},
year = {2021}
}
@inproceedings{DBLP:conf/mfcs/HaaseM21,
author = {Christoph Haase and
Alessio Mansutti},
title = {On Deciding Linear Arithmetic Constraints Over p-adic Integers for
All Primes},
booktitle = {{MFCS}},
series = {LIPIcs},
volume = {202},
pages = {55:1--55:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021}
}
@inproceedings{DBLP:conf/pdcat/TanSXZ21,
author = {Jingjing Tan and
Yue Sun and
Yicheng Xu and
Juan Zou},
title = {Streaming Algorithms for Maximization of a Non-submodular Function
with a Cardinality Constraint on the Integer Lattice},
booktitle = {{PDCAT}},
series = {Lecture Notes in Computer Science},
volume = {13148},
pages = {460--465},
publisher = {Springer},
year = {2021}
}
@article{DBLP:journals/corr/abs-2102-12574,
author = {Vicky H. Mak{-}Hau and
John Yearwood and
William Moran},
title = {Knowledge engineering mixed-integer linear programming: constraint
typology},
journal = {CoRR},
volume = {abs/2102.12574},
year = {2021}
}
@article{DBLP:journals/corr/abs-2103-11018,
author = {Noah Rubin and
Curtis Bright and
Kevin K. H. Cheung and
Brett Stevens},
title = {Integer and Constraint Programming Revisited for Mutually Orthogonal
Latin Squares},
journal = {CoRR},
volume = {abs/2103.11018},
year = {2021}
}
@article{DBLP:journals/corr/abs-2105-02343,
author = {Anselm Paulus and
Michal Rol{\'{\i}}nek and
V{\'{\i}}t Musil and
Brandon Amos and
Georg Martius},
title = {CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming
Constraints},
journal = {CoRR},
volume = {abs/2105.02343},
year = {2021}
}
@article{DBLP:journals/corr/abs-2111-04469,
author = {Donato Maragno and
Holly M. Wiberg and
Dimitris Bertsimas and
S. Ilker Birbil and
Dick den Hertog and
Adejuyigbe O. Fajemisin},
title = {Mixed-Integer Optimization with Constraint Learning},
journal = {CoRR},
volume = {abs/2111.04469},
year = {2021}
}
@article{DBLP:journals/amai/SubramaniW20,
author = {K. Subramani and
Piotr Wojciechowski},
title = {On integer closure in a system of unit two variable per inequality
constraints},
journal = {Ann. Math. Artif. Intell.},
volume = {88},
number = {10},
pages = {1101--1118},
year = {2020}
}
@article{DBLP:journals/candie/MengZRZL20,
author = {Leilei Meng and
Chaoyong Zhang and
Yaping Ren and
Biao Zhang and
Chang Lv},
title = {Mixed-integer linear programming and constraint programming formulations
for solving distributed flexible job shop scheduling problem},
journal = {Comput. Ind. Eng.},
volume = {142},
pages = {106347},
year = {2020}
}
@article{DBLP:journals/constraints/GonzalezCLR20,
author = {Jaime E. Gonz{\'{a}}lez and
Andr{\'{e}} Augusto Cir{\'{e}} and
Andrea Lodi and
Louis{-}Martin Rousseau},
title = {Integrated integer programming and decision diagram search tree with
an application to the maximum independent set problem},
journal = {Constraints An Int. J.},
volume = {25},
number = {1-2},
pages = {23--46},
year = {2020}
}
@article{DBLP:journals/cor/LunardiBLRV20,
author = {Willian T. Lunardi and
Ernesto G. Birgin and
Philippe Laborie and
D{\'{e}}bora P. Ronconi and
Holger Voos},
title = {Mixed Integer linear programming and constraint programming models
for the online printing shop scheduling problem},
journal = {Comput. Oper. Res.},
volume = {123},
pages = {105020},
year = {2020}
}
@article{DBLP:journals/disopt/KarabulutAN20,
author = {Ezgi Karabulut and
Shabbir Ahmed and
George L. Nemhauser},
title = {Decentralized algorithms for distributed integer programming problems
with a coupling cardinality constraint},
journal = {Discret. Optim.},
volume = {38},
pages = {100595},
year = {2020}
}
@article{DBLP:journals/eor/Hartillo-Hermoso20,
author = {Mar{\'{\i}}a Isabel Hartillo{-}Hermoso and
Haydee Jim{\'{e}}nez{-}Tafur and
Jos{\'{e}} Mar{\'{\i}}a Ucha{-}Enr{\'{\i}}quez},
title = {An exact algebraic {\unicode{1013}}-constraint method for bi-objective
linear integer programming based on test sets},
journal = {Eur. J. Oper. Res.},
volume = {282},
number = {2},
pages = {453--463},
year = {2020}
}
@article{DBLP:journals/eor/QinDCS20,
author = {Tianbao Qin and
Yuquan Du and
Jiang Hang Chen and
Mei Sha},
title = {Combining mixed integer programming and constraint programming to
solve the integrated scheduling problem of container handling operations
of a single vessel},
journal = {Eur. J. Oper. Res.},
volume = {285},
number = {3},
pages = {884--901},
year = {2020}
}
@article{DBLP:journals/ijpr/Polo-MejiaALB20,
author = {Oliver Polo{-}Mej{\'{\i}}a and
Christian Artigues and
Pierre Lopez and
Virginie Basini},
title = {Mixed-integer/linear and constraint programming approaches for activity
scheduling in a nuclear research facility},
journal = {Int. J. Prod. Res.},
volume = {58},
number = {23},
pages = {7149--7166},
year = {2020}
}
@article{DBLP:journals/informs/CooperHN20,
author = {Kyle Cooper and
Susan R. Hunter and
Kalyani Nagaraj},
title = {Biobjective Simulation Optimization on Integer Lattices Using the
Epsilon-Constraint Method in a Retrospective Approximation Framework},
journal = {{INFORMS} J. Comput.},
volume = {32},
number = {4},
pages = {1080--1100},
year = {2020}
}
@article{DBLP:journals/tac/TestaRN20,
author = {Andrea Testa and
Alessandro Rucco and
Giuseppe Notarstefano},
title = {Distributed Mixed-Integer Linear Programming via Cut Generation and
Constraint Exchange},
journal = {{IEEE} Trans. Autom. Control.},
volume = {65},
number = {4},
pages = {1456--1467},
year = {2020}
}
@article{DBLP:journals/tcs/BredereckFNST20,
author = {Robert Bredereck and
Piotr Faliszewski and
Rolf Niedermeier and
Piotr Skowron and
Nimrod Talmon},
title = {Mixed integer programming with convex/concave constraints: Fixed-parameter
tractability and applications to multicovering and voting},
journal = {Theor. Comput. Sci.},
volume = {814},
pages = {86--105},
year = {2020}
}
@article{DBLP:journals/toct/KnopPW20,
author = {Dusan Knop and
Michal Pilipczuk and
Marcin Wrochna},
title = {Tight Complexity Lower Bounds for Integer Linear Programming with
Few Constraints},
journal = {{ACM} Trans. Comput. Theory},
volume = {12},
number = {3},
pages = {19:1--19:19},
year = {2020}
}
@article{DBLP:journals/transci/KhassibaBCGM20,
author = {Ahmed Khassiba and
Fabian Bastin and
Sonia Cafieri and
Bernard Gendron and
Marcel Mongeau},
title = {Two-Stage Stochastic Mixed-Integer Programming with Chance Constraints
for Extended Aircraft Arrival Management},
journal = {Transp. Sci.},
volume = {54},
number = {4},
pages = {897--919},
year = {2020}
}
@inproceedings{DBLP:conf/amcc/GarifiB20,
author = {Kaitlyn Garifi and
Kyri Baker},
title = {Considering Integer Chance Constraints for Enforcing Flexible Line
Flow Ratings},
booktitle = {{ACC}},
pages = {3134--3139},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/cp/Devriendt20,
author = {Jo Devriendt},
title = {Watched Propagation of 0-1 Integer Linear Constraints},
booktitle = {{CP}},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {160--176},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/paap/TanZZZ20,
author = {Jingjing Tan and
Dongmei Zhang and
Hongyang Zhang and
Zhenning Zhang},
title = {Streaming Algorithms for Monotone DR-Submodular Maximization Under
a Knapsack Constraint on the Integer Lattice},
booktitle = {{PAAP}},
series = {Communications in Computer and Information Science},
volume = {1362},
pages = {58--67},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/sigsoft/MolaviDSB20,
author = {Abtin Molavi and
Mara Downing and
Tommy Schneider and
Lucas Bang},
title = {{MCBAT:} a practical tool for model counting constraints on bounded
integer arrays},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {1596--1600},
publisher = {{ACM}},
year = {2020}
}
@inproceedings{DBLP:conf/vstte/MolaviSDB20,
author = {Abtin Molavi and
Tommy Schneider and
Mara Downing and
Lucas Bang},
title = {{MCBAT:} Model Counting for Constraints over Bounded Integer Arrays},
booktitle = {{VSTTE}},
series = {Lecture Notes in Computer Science},
volume = {12549},
pages = {124--143},
publisher = {Springer},
year = {2020}
}
@article{DBLP:journals/corr/abs-2006-04508,
author = {Laurens Bliek and
Sicco Verwer and
Mathijs de Weerdt},
title = {Black-box Mixed-Variable Optimisation using a Surrogate Model that
Satisfies Integer Constraints},
journal = {CoRR},
volume = {abs/2006.04508},
year = {2020}
}
@article{DBLP:journals/corr/abs-2006-10836,
author = {Tao Meng and
Kai{-}Wei Chang},
title = {An Integer Linear Programming Framework for Mining Constraints from
Data},
journal = {CoRR},
volume = {abs/2006.10836},
year = {2020}
}
@article{DBLP:journals/access/LiuGLCGX19,
author = {Yixin Liu and
Li Guo and
Chang Lu and
Yuanyuan Chai and
Shuang Gao and
Bin Xu},
title = {A Fully Distributed Voltage Optimization Method for Distribution Networks
Considering Integer Constraints of Step Voltage Regulators},
journal = {{IEEE} Access},
volume = {7},
pages = {60055--60066},
year = {2019}
}
@article{DBLP:journals/algorithms/GanianO19,
author = {Robert Ganian and
Sebastian Ordyniak},
title = {Solving Integer Linear Programs by Exploiting Variable-Constraint
Interactions: {A} Survey},
journal = {Algorithms},
volume = {12},
number = {12},
pages = {248},
year = {2019}
}
@article{DBLP:journals/dmaa/LaiNLHW19,
author = {Lei Lai and
Qiufen Ni and
Changhong Lu and
Chuanhe Huang and
Weili Wu},
title = {Monotone submodular maximization over the bounded integer lattice
with cardinality constraints},
journal = {Discret. Math. Algorithms Appl.},
volume = {11},
number = {6},
pages = {1950075:1--1950075:14},
year = {2019}
}
@article{DBLP:journals/isci/ZouariIBCA19,
author = {Farouk Zouari and
Asier Ibeas and
Abdesselem Boulkroune and
Jinde Cao and
Mohammad Mehdi Arefi},
title = {Neuro-adaptive tracking control of non-integer order systems with
input nonlinearities and time-varying output constraints},
journal = {Inf. Sci.},
volume = {485},
pages = {170--199},
year = {2019}
}
@article{DBLP:journals/pe/ZhengX19,
author = {Xiaoying Zheng and
Ye Xia},
title = {Exploring mixed integer programming reformulations for virtual machine
placement with disk anti-colocation constraints},
journal = {Perform. Evaluation},
volume = {135},
year = {2019}
}
@inproceedings{DBLP:conf/aiia/SubramaniW19,
author = {K. Subramani and
Piotr Wojciechowski},
title = {A Graphical Analysis of Integer Infeasibility in {UTVPI} Constraints},
booktitle = {AI*IA},
series = {Lecture Notes in Computer Science},
volume = {11946},
pages = {223--234},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/alenex/JabrayilovM19,
author = {Adalat Jabrayilov and
Petra Mutzel},
title = {A new Integer Linear Program for the Steiner Tree Problem with Revenues,
Budget and Hop Constraints},
booktitle = {{ALENEX}},
pages = {107--116},
publisher = {{SIAM}},
year = {2019}
}
@inproceedings{DBLP:conf/cpaior/NicholasH19,
author = {Paul J. Nicholas and
Karla L. Hoffman},
title = {Efficient Solution Methods for the Cumulative-Interference Channel
Assignment Problem Using Integer Optimization and Constraint Programming},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {11494},
pages = {443--460},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/eucc/CamisaN19,
author = {Andrea Camisa and
Giuseppe Notarstefano},
title = {Primal Decomposition and Constraint Generation for Asynchronous Distributed
Mixed-Integer Linear Programming},
booktitle = {{ECC}},
pages = {77--82},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/ijcai/GeMMZHZ19,
author = {Cunjing Ge and
Feifei Ma and
Xutong Ma and
Fan Zhang and
Pei Huang and
Jian Zhang},
title = {Approximating Integer Solution Counting via Space Quantification for
Linear Constraints},
booktitle = {{IJCAI}},
pages = {1697--1703},
publisher = {ijcai.org},
year = {2019}
}
@inproceedings{DBLP:conf/or/GottlichHH19,
author = {Simone G{\"{o}}ttlich and
Kathinka Hameister and
Michael Herty},
title = {Convex Quadratic Mixed-Integer Problems with Quadratic Constraints},
booktitle = {{OR}},
pages = {123--129},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/stacs/KnopPW19,
author = {Dusan Knop and
Michal Pilipczuk and
Marcin Wrochna},
title = {Tight Complexity Lower Bounds for Integer Linear Programming with
Few Constraints},
booktitle = {{STACS}},
series = {LIPIcs},
volume = {126},
pages = {44:1--44:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019}
}
@inproceedings{DBLP:conf/tap/KapusNC19,
author = {Timotej Kapus and
Martin Nowack and
Cristian Cadar},
title = {Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?},
booktitle = {TAP@FM},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {41--54},
publisher = {Springer},
year = {2019}
}
@article{DBLP:journals/corr/abs-1903-02139,
author = {Xiaoying Zheng and
Ye Xia},
title = {Exploring Mixed Integer Programming Reformulations for Virtual Machine
Placement with Disk Anti-Colocation Constraints},
journal = {CoRR},
volume = {abs/1903.02139},
year = {2019}
}
@article{DBLP:journals/corr/abs-1907-04062,
author = {Apostolos I. Rikos and
Christoforos N. Hadjicostis},
title = {Distributed Integer Balancing under Weight Constraints in the Presence
of Transmission Delays and Packet Drops},
journal = {CoRR},
volume = {abs/1907.04062},
year = {2019}
}
@article{DBLP:journals/corr/abs-1907-04691,
author = {Mohammadreza Chamanbaz and
Giuseppe Notarstefano and
Francesco Sasso and
Roland Bouffanais},
title = {Randomized Constraints Consensus for Distributed Robust Mixed-Integer
Programming},
journal = {CoRR},
volume = {abs/1907.04691},
year = {2019}
}
@article{DBLP:journals/corr/abs-1907-12468,
author = {Moira MacNeil and
Merve Bodur},
title = {Integer Programming, Constraint Programming, and Hybrid Decomposition
Approaches to Discretizable Distance Geometry Problems},
journal = {CoRR},
volume = {abs/1907.12468},
year = {2019}
}
@article{DBLP:journals/corr/abs-1910-12187,
author = {Xiaodong Zheng and
Haoyong Chen and
Yan Xu and
Zhengmao Li and
Zhenjia Lin and
Zipeng Liang},
title = {A Mixed-Integer {SDP} Solution Approach to Distributionally Robust
Unit Commitment with Second Order Moment Constraints},
journal = {CoRR},
volume = {abs/1910.12187},
year = {2019}
}
@article{DBLP:journals/corr/abs-1911-12567,
author = {Min{-}Kyu Shin and
Daniel Lee and
Han{-}Lim Choi},
title = {Weapon-Target Assignment Problem with Interference Constraints using
Mixed-Integer Linear Programming},
journal = {CoRR},
volume = {abs/1911.12567},
year = {2019}
}
@article{DBLP:journals/asc/KudlaP18,
author = {Patryk Kudla and
Tomasz P. Pawlak},
title = {One-class synthesis of constraints for Mixed-Integer Linear Programming
with {C4.5} decision trees},
journal = {Appl. Soft Comput.},
volume = {68},
pages = {1--12},
year = {2018}
}
@article{DBLP:journals/cce/OgbeL18,
author = {Emmanuel Ogbe and
Xiang Li},
title = {Extended cross decomposition for mixed-integer linear programs with
strong and weak linking constraints},
journal = {Comput. Chem. Eng.},
volume = {119},
pages = {237--257},
year = {2018}
}
@article{DBLP:journals/constraints/FischettiJ18,
author = {Matteo Fischetti and
Jason Jo},
title = {Deep neural networks and mixed integer linear optimization},
journal = {Constraints An Int. J.},
volume = {23},
number = {3},
pages = {296--309},
year = {2018}
}
@article{DBLP:journals/endm/Lera-RomeroB18,
author = {Gonzalo Lera{-}Romero and
Juan Jos{\'{e}} Miranda Bront},
title = {Integer programming formulations for the time-dependent elementary
shortest path problem with resource constraints},
journal = {Electron. Notes Discret. Math.},
volume = {69},
pages = {53--60},
year = {2018}
}
@article{DBLP:journals/eor/KreterSSZ18,
author = {Stefan Kreter and
Andreas Schutt and
Peter J. Stuckey and
J{\"{u}}rgen Zimmermann},
title = {Mixed-integer linear programming and constraint programming formulations
for solving resource availability cost problems},
journal = {Eur. J. Oper. Res.},
volume = {266},
number = {2},
pages = {472--486},
year = {2018}
}
@article{DBLP:journals/eor/PourDERB18,
author = {Shahrzad M. Pour and
John H. Drake and
Lena Secher Ejlertsen and
Kourosh Marjani Rasmussen and
Edmund K. Burke},
title = {A hybrid Constraint Programming/Mixed Integer Programming framework
for the preventive signaling maintenance crew scheduling problem},
journal = {Eur. J. Oper. Res.},
volume = {269},
number = {1},
pages = {341--352},
year = {2018}
}
@article{DBLP:journals/fs/GerholdK18,
author = {Stefan Gerhold and
Paul Kr{\"{u}}hner},
title = {Dynamic trading under integer constraints},
journal = {Finance Stochastics},
volume = {22},
number = {4},
pages = {919--957},
year = {2018}
}
@article{DBLP:journals/mmor/AguadoT18,
author = {Jes{\'{u}}s S{\'{a}}ez Aguado and
Paula Camelia Trandafir},
title = {Variants of the {\(\varepsilon\)}-constraint method for biobjective
integer programming problems: application to \emph{p}-median-cover
problems},
journal = {Math. Methods Oper. Res.},
volume = {87},
number = {2},
pages = {251--283},
year = {2018}
}
@article{DBLP:journals/mpc/BonamiGL18,
author = {Pierre Bonami and
Oktay G{\"{u}}nl{\"{u}}k and
Jeff T. Linderoth},
title = {Globally solving nonconvex quadratic programming problems with box
constraints via integer programming methods},
journal = {Math. Program. Comput.},
volume = {10},
number = {3},
pages = {333--382},
year = {2018}
}
@article{DBLP:journals/tem/ZhangW18,
author = {Sicheng Zhang and
Shouyang Wang},
title = {Flexible Assembly Job-Shop Scheduling With Sequence-Dependent Setup
Times and Part Sharing in a Dynamic Environment: Constraint Programming
Model, Mixed-Integer Programming Model, and Dispatching Rules},
journal = {{IEEE} Trans. Engineering Management},
volume = {65},
number = {3},
pages = {487--504},
year = {2018}
}
@article{DBLP:journals/tsmc/ShinBBHO18,
author = {Seung Yeob Shin and
Yuriy Brun and
Hari Balasubramanian and
Philip L. Henneman and
Leon J. Osterweil},
title = {Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware
Resource Scheduling},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {48},
number = {9},
pages = {1578--1593},
year = {2018}
}
@inproceedings{DBLP:conf/aiccc/HoYCLLCLC18,
author = {Te{-}Wei Ho and
Jia{-}Sheng Yao and
Yao{-}Ting Chang and
Feipei Lai and
Jui{-}Fen Lai and
Sue{-}Min Chu and
Wan{-}Chung Liao and
Han{-}Mo Chiu},
title = {A Platform for Dynamic Optimal Nurse Scheduling Based on Integer Linear
Programming along with Multiple Criteria Constraints},
booktitle = {{AICCC}},
pages = {145--150},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/icarcv/StoicanPPIV18,
author = {Florin Stoican and
Ionela Prodan and
Dan Popescu and
Loretta Ichim and
Emilian Vlasceanu},
title = {Mixed-Integer Representations for Mission Constraints in a Multi-Agent
Team},
booktitle = {{ICARCV}},
pages = {562--567},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/icdte/Charoenruengkit18,
author = {Werayuth Charoenruengkit},
title = {Course Planning Optimization with Conditional Constraints using Integer
Linear Programming},
booktitle = {{ICDTE}},
pages = {71--76},
publisher = {{ACM}},
year = {2018}
}
@inproceedings{DBLP:conf/or/FrischHJW18,
author = {Sarah Frisch and
Philipp Hungerl{\"{a}}nder and
Anna Jellen and
Dominic Weinberger},
title = {A Mixed Integer Linear Program for Optimizing the Utilization of Locomotives
with Maintenance Constraints},
booktitle = {{OR}},
pages = {103--109},
publisher = {Springer},
year = {2018}
}
@incollection{DBLP:books/sp/18/RalphsSBK18,
author = {Ted K. Ralphs and
Yuji Shinano and
Timo Berthold and
Thorsten Koch},
title = {Parallel Solvers for Mixed Integer Linear Optimization},
booktitle = {Handbook of Parallel Constraint Reasoning},
pages = {283--336},
publisher = {Springer},
year = {2018}
}
@article{DBLP:journals/corr/abs-1806-10697,
author = {Adalat Jabrayilov and
Petra Mutzel},
title = {A new Integer Linear Program for the Steiner Tree Problem with Revenues,
Budget and Hop Constraints},
journal = {CoRR},
volume = {abs/1806.10697},
year = {2018}
}
@article{DBLP:journals/corr/abs-1810-05163,
author = {Melissa Lynn},
title = {A Constraint Propagation Algorithm for Sums-of-Squares Formulas over
the Integers},
journal = {CoRR},
volume = {abs/1810.05163},
year = {2018}
}
@article{DBLP:journals/corr/abs-1811-01296,
author = {Dusan Knop and
Michal Pilipczuk and
Marcin Wrochna},
title = {Tight complexity lower bounds for integer linear programming with
few constraints},
journal = {CoRR},
volume = {abs/1811.01296},
year = {2018}
}
@article{DBLP:journals/cejor/PferschyS17,
author = {Ulrich Pferschy and
Rostislav Stanek},
title = {Generating subtour elimination constraints for the {TSP} from pure
integer solutions},
journal = {Central Eur. J. Oper. Res.},
volume = {25},
number = {1},
pages = {231--260},
year = {2017}
}
@article{DBLP:journals/cor/RahimianAL17,
author = {Erfan Rahimian and
Kerem Akartunali and
John Levine},
title = {A hybrid integer and constraint programming approach to solve nurse
rostering problems},
journal = {Comput. Oper. Res.},
volume = {82},
pages = {83--94},
year = {2017}
}
@article{DBLP:journals/disopt/VinelK17,
author = {Alexander Vinel and
Pavlo A. Krokhmal},
title = {Mixed integer programming with a class of nonlinear convex constraints},
journal = {Discret. Optim.},
volume = {24},
pages = {66--86},
year = {2017}
}
@article{DBLP:journals/eor/Moeini17,
author = {Asghar Moeini},
title = {Identification of unidentified equality constraints for integer programming
problems},
journal = {Eur. J. Oper. Res.},
volume = {260},
number = {2},
pages = {460--467},
year = {2017}
}
@article{DBLP:journals/eor/PawlakK17,
author = {Tomasz P. Pawlak and
Krzysztof Krawiec},
title = {Automatic synthesis of constraints from examples using mixed integer
linear programming},
journal = {Eur. J. Oper. Res.},
volume = {261},
number = {3},
pages = {1141--1157},
year = {2017}
}
@article{DBLP:journals/ieicet/Goto17,
author = {Hiroyuki Goto},
title = {Reduction of Max-Plus Algebraic Equations to Constraint Satisfaction
Problems for Mixed Integer Programming},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {100-A},
number = {2},
pages = {427--430},
year = {2017}
}
@article{DBLP:journals/ijmno/FellahK17,
author = {Khadidja Fellah and
Kechar Bouabdellah},
title = {An integer linear programming approach for optimising energy consumption
in mobile wireless sensor networks under realistic constraints},
journal = {Int. J. Math. Model. Numer. Optimisation},
volume = {8},
number = {2},
pages = {162--182},
year = {2017}
}
@article{DBLP:journals/int/Plick17,
author = {Thomas A. Plick},
title = {A New Constraint on Perfect Cuboids},
journal = {Integers},
volume = {17},
pages = {A3},
year = {2017}
}
@article{DBLP:journals/mp/WangBB17,
author = {Yiming Wang and
Austin Buchanan and
Sergiy Butenko},
title = {On imposing connectivity constraints in integer programs},
journal = {Math. Program.},
volume = {166},
number = {1-2},
pages = {241--271},
year = {2017}
}
@article{DBLP:journals/orl/FischerP17,
author = {Tobias Fischer and
Marc E. Pfetsch},
title = {Monoidal cut strengthening and generalized mixed-integer rounding
for disjunctions and complementarity constraints},
journal = {Oper. Res. Lett.},
volume = {45},
number = {6},
pages = {556--560},
year = {2017}
}
@article{DBLP:journals/ton/CuiMYLLD17,
author = {Ying Cui and
Muriel M{\'{e}}dard and
Edmund M. Yeh and
Douglas J. Leith and
Fan Lai and
Ken R. Duffy},
title = {A Linear Network Code Construction for General Integer Connections
Based on the Constraint Satisfaction Problem},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {25},
number = {6},
pages = {3441--3454},
year = {2017}
}
@article{DBLP:journals/tpds/0001TFC17,
author = {Ye Xia and
Maur{\'{\i}}cio O. Tsugawa and
Jos{\'{e}} A. B. Fortes and
Shigang Chen},
title = {Large-Scale {VM} Placement with Disk Anti-Colocation Constraints Using
Hierarchical Decomposition and Mixed Integer Programming},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {28},
number = {5},
pages = {1361--1374},
year = {2017}
}
@article{DBLP:journals/tplp/JanhunenKOSWS17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Sebastian Schellhorn and
Philipp Wanko and
Torsten Schaub},
title = {Clingo goes linear constraints over reals and integers},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {872--888},
year = {2017}
}
@inproceedings{DBLP:conf/cdc/RikosH17,
author = {Apostolos I. Rikos and
Christoforos N. Hadjicostis},
title = {Distributed weight balancing under integer constraints in the presence
of packet drops},
booktitle = {{CDC}},
pages = {4570--4575},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/cp/HoeveT17,
author = {Willem{-}Jan van Hoeve and
Sridhar R. Tayur},
title = {Integer and Constraint Programming for Batch Annealing Process Planning},
booktitle = {{CP}},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {431--439},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/cpaior/VerwerZ17,
author = {Sicco Verwer and
Yingqian Zhang},
title = {Learning Decision Trees with Flexible Constraints and Objectives Using
Integer Optimization},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {10335},
pages = {94--103},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/ijcai/DvorakEGKO17,
author = {Pavel Dvor{\'{a}}k and
Eduard Eiben and
Robert Ganian and
Dusan Knop and
Sebastian Ordyniak},
title = {Solving Integer Linear Programs with a Small Number of Global Variables
and Constraints},
booktitle = {{IJCAI}},
pages = {607--613},
publisher = {ijcai.org},
year = {2017}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenKOSSW17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
title = {clingo goes Linear Constraints over Reals and Integers},
booktitle = {ASPOCP@LPNMR},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017}
}
@inproceedings{DBLP:conf/wsc/CooperHN17,
author = {Kyle Cooper and
Susan R. Hunter and
Kalyani Nagaraj},
title = {An epsilon-constraint method for integer-ordered bi-objective simulation
optimization},
booktitle = {{WSC}},
pages = {2303--2314},
publisher = {{IEEE}},
year = {2017}
}
@article{DBLP:journals/corr/DvorakEGKO17,
author = {Pavel Dvor{\'{a}}k and
Eduard Eiben and
Robert Ganian and
Dusan Knop and
Sebastian Ordyniak},
title = {Solving Integer Linear Programs with a Small Number of Global Variables
and Constraints},
journal = {CoRR},
volume = {abs/1706.06084},
year = {2017}
}
@article{DBLP:journals/corr/JanhunenKOSSW17,
author = {Tomi Janhunen and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sebastian Schellhorn and
Philipp Wanko},
title = {Clingo goes Linear Constraints over Reals and Integers},
journal = {CoRR},
volume = {abs/1707.04053},
year = {2017}
}
@article{DBLP:journals/corr/abs-1709-02850,
author = {Robert Bredereck and
Piotr Faliszewski and
Rolf Niedermeier and
Piotr Skowron and
Nimrod Talmon},
title = {Mixed Integer Programming with Convex/Concave Constraints: Fixed-Parameter
Tractability and Applications to Multicovering and Voting},
journal = {CoRR},
volume = {abs/1709.02850},
year = {2017}
}
@article{DBLP:journals/corr/abs-1710-00328,
author = {Dmitry V. Gribanov and
Aleksandr Yu. Chirkov},
title = {The Width and Integer Optimization on Simplices With Bounded Minors
of the Constraint Matrices},
journal = {CoRR},
volume = {abs/1710.00328},
year = {2017}
}
@phdthesis{DBLP:phd/basesearch/Wiese16,
author = {Sven Wiese},
title = {On the interplay of Mixed Integer Linear, Mixed Integer Nonlinear
and Constraint Programming},
school = {University of Bologna, Italy},
year = {2016}
}
@article{DBLP:journals/coap/BelottiBFLMNS16,
author = {Pietro Belotti and
Pierre Bonami and
Matteo Fischetti and
Andrea Lodi and
Michele Monaci and
Amaya Nogales{-}G{\'{o}}mez and
Domenico Salvagnin},
title = {On handling indicator constraints in mixed integer programming},
journal = {Comput. Optim. Appl.},
volume = {65},
number = {3},
pages = {545--566},
year = {2016}
}
@article{DBLP:journals/coap/Kanno16,
author = {Yoshihiro Kanno},
title = {Global optimization of trusses with constraints on number of different
cross-sections: a mixed-integer second-order cone programming approach},
journal = {Comput. Optim. Appl.},
volume = {63},
number = {1},
pages = {203--236},
year = {2016}
}
@article{DBLP:journals/cor/AltinakarCH16,
author = {Sivan Altinakar and
Gilles Caporossi and
Alain Hertz},
title = {A comparison of integer and constraint programming models for the
deficiency problem},
journal = {Comput. Oper. Res.},
volume = {68},
pages = {89--96},
year = {2016}
}
@article{DBLP:journals/jota/CalvoIL16,
author = {Clara Calvo and
Carlos Ivorra and
Vicente Liern},
title = {Fuzzy Portfolio Selection Including Cardinality Constraints and Integer
Conditions},
journal = {J. Optim. Theory Appl.},
volume = {170},
number = {1},
pages = {343--355},
year = {2016}
}
@article{DBLP:journals/mansci/Longarela16,
author = {Inaki Rodr{\'{\i}}guez Longarela},
title = {A Characterization of the SSD-Efficient Frontier of Portfolio Weights
by Means of a Set of Mixed-Integer Linear Constraints},
journal = {Manag. Sci.},
volume = {62},
number = {12},
pages = {3549--3554},
year = {2016}
}
@article{DBLP:journals/ol/GribanovC16,
author = {Dmitry V. Gribanov and
Aleksandr Yu. Chirkov},
title = {The width and integer optimization on simplices with bounded minors
of the constraint matrices},
journal = {Optim. Lett.},
volume = {10},
number = {6},
pages = {1179--1189},
year = {2016}
}
@article{DBLP:journals/ral/BoothTNB16,
author = {Kyle E. C. Booth and
Tony T. Tran and
Goldie Nejat and
J. Christopher Beck},
title = {Mixed-Integer and Constraint Programming Techniques for Mobile Robot
Task Planning},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {1},
number = {1},
pages = {500--507},
year = {2016}
}
@inproceedings{DBLP:conf/cdc/RikosH16,
author = {Apostolos I. Rikos and
Christoforos N. Hadjicostis},
title = {Distributed integer weight balancing within interval constraints},
booktitle = {{CDC}},
pages = {1775--1780},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/cp/KuB16,
author = {Wen{-}Yang Ku and
J. Christopher Beck},
title = {Constraint Programming for Strictly Convex Integer Quadratically-Constrained
Problems},
booktitle = {{CP}},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {316--332},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/globalsip/ChengHWL16,
author = {Yujiao Cheng and
Houfeng Huang and
Gang Wu and
Qing Ling},
title = {Distributed network resource allocation with integer constraints},
booktitle = {GlobalSIP},
pages = {585--589},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/icores/LaesanklangLC16,
author = {Wasakorn Laesanklang and
Dario Landa{-}Silva and
Jos{\'{e}} Arturo Castillo Salazar},
title = {Mixed Integer Programming with Decomposition for Workforce Scheduling
and Routing with Time-dependent Activities Constraints},
booktitle = {{ICORES}},
pages = {330--339},
publisher = {SciTePress},
year = {2016}
}
@inproceedings{DBLP:conf/isaim/Winkler16,
author = {Michael Winkler},
title = {Solving Non-Linear Pseudo-Boolean Optimization Problems by Constraint
Integer Programming},
booktitle = {{ISAIM}},
year = {2016}
}
@inproceedings{DBLP:conf/iwoca/SubramaniW16,
author = {K. Subramani and
Piotr Wojciechowski},
title = {A Bit-Scaling Algorithm for Integer Feasibility in {UTVPI} Constraints},
booktitle = {{IWOCA}},
series = {Lecture Notes in Computer Science},
volume = {9843},
pages = {321--333},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/milcom/NicholasH16,
author = {Paul J. Nicholas and
Karla L. Hoffman},
title = {Optimal channel assignment for military {MANET} using integer optimization
and constraint programming},
booktitle = {{MILCOM}},
pages = {1114--1120},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/smartgridcomm/GuoLC16,
author = {Xian{-}Chang Guo and
Chung{-}Shou Liao and
Chia{-}Chi Chu},
title = {Optimal {PMU} placements under propagation depth constraints by mixed
integer linear programming},
booktitle = {SmartGridComm},
pages = {656--661},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/walcom/SubramaniW16,
author = {K. Subramani and
Piotr Wojciechowski},
title = {An Optimal Algorithm for Computing the Integer Closure of {UTVPI}
Constraints},
booktitle = {{WALCOM}},
series = {Lecture Notes in Computer Science},
volume = {9627},
pages = {154--165},
publisher = {Springer},
year = {2016}
}
@phdthesis{DBLP:phd/jp/Lu15,
author = {Wei Lu},
title = {Integer Programming-based Methods for Computing Minimum Reaction Modifications
of Metabolic Networks for Constraint Satisfaction},
school = {Kyoto University, Japan},
year = {2015}
}
@article{DBLP:journals/accs/Smirnov15,
author = {Alexander V. Smirnov},
title = {Heuristic algorithms for the problem of integer balancing of a three-dimensional
matrix with constraints of the second type},
journal = {Autom. Control. Comput. Sci.},
volume = {49},
number = {7},
pages = {473--483},
year = {2015}
}
@article{DBLP:journals/candie/ManziniACFM15,
author = {Riccardo Manzini and
Riccardo Accorsi and
Teresa Cennerazzo and
Emilio Ferrari and
Fausto Maranesi},
title = {The scheduling of maintenance. {A} resource-constraints mixed integer
linear programming model},
journal = {Comput. Ind. Eng.},
volume = {87},
pages = {561--568},
year = {2015}
}
@article{DBLP:journals/csda/FriedrichMV015,
author = {Ulf Friedrich and
Ralf T. M{\"{u}}nnich and
Sven de Vries and
Matthias Wagner},
title = {Fast integer-valued algorithms for optimal allocations under constraints
in stratified sampling},
journal = {Comput. Stat. Data Anal.},
volume = {92},
pages = {1--12},
year = {2015}
}
@article{DBLP:journals/disopt/TrappP15,
author = {Andrew C. Trapp and
Oleg A. Prokopyev},
title = {A note on constraint aggregation and value functions for two-stage
stochastic integer programs},
journal = {Discret. Optim.},
volume = {15},
pages = {37--45},
year = {2015}
}
@article{DBLP:journals/eor/WangMD15,
author = {Tao Wang and
Nadine Meskens and
David Duvivier},
title = {Scheduling operating theatres: Mixed integer programming vs. constraint
programming},
journal = {Eur. J. Oper. Res.},
volume = {247},
number = {2},
pages = {401--413},
year = {2015}
}
@article{DBLP:journals/jgo/LiuG15,
author = {Chunli Liu and
Jianjun Gao},
title = {A polynomial case of convex integer quadratic programming problems
with box integer constraints},
journal = {J. Glob. Optim.},
volume = {62},
number = {4},
pages = {661--674},
year = {2015}
}
@article{DBLP:journals/mia/RempflerSIXSKSA15,
author = {Markus Rempfler and
Matthias Schneider and
Giovanna D. Ielacqua and
Xianghui Xiao and
Stuart R. Stock and
Jan Klohs and
G{\'{a}}bor Sz{\'{e}}kely and
Bjoern Andres and
Bjoern H. Menze},
title = {Reconstructing cerebrovascular networks under local physiological
constraints by integer programming},
journal = {Medical Image Anal.},
volume = {25},
number = {1},
pages = {86--94},
year = {2015}
}
@article{DBLP:journals/mp/AwateCGT15,
author = {Yogesh Awate and
G{\'{e}}rard Cornu{\'{e}}jols and
Bertrand Guenin and
Levent Tun{\c{c}}el},
title = {On the relative strength of families of intersection cuts arising
from pairs of tableau constraints in mixed integer programs},
journal = {Math. Program.},
volume = {150},
number = {2},
pages = {459--489},
year = {2015}
}
@article{DBLP:journals/networks/KucharzakWKBK15,
author = {Michal Kucharzak and
Krzysztof Walkowiak and
Pawel Kopec and
Damian Bulira and
Andrzej Kasprzak},
title = {Integer programming, Constraint programming, and metaheuristic approaches
for static optimization of anycast flows in elastic optical networks},
journal = {Networks},
volume = {66},
number = {4},
pages = {253--266},
year = {2015}
}
@article{DBLP:journals/orl/BuchheimSP15,
author = {Christoph Buchheim and
Marianna De Santis and
Laura Palagi},
title = {A fast branch-and-bound algorithm for non-convex quadratic integer
optimization subject to linear constraints using ellipsoidal relaxations},
journal = {Oper. Res. Lett.},
volume = {43},
number = {4},
pages = {384--388},
year = {2015}
}
@inproceedings{DBLP:conf/gcai/Nieuwenhuis15,
author = {Robert Nieuwenhuis},
title = {SAT-Based Techniques for Integer Linear Constraints},
booktitle = {{GCAI}},
series = {EPiC Series in Computing},
volume = {36},
pages = {1--13},
publisher = {EasyChair},
year = {2015}
}
@inproceedings{DBLP:conf/globecom/CuiMPYLD15,
author = {Ying Cui and
Muriel M{\'{e}}dard and
Dhaivat Pandya and
Edmund M. Yeh and
Douglas J. Leith and
Ken R. Duffy},
title = {A Linear Network Code Construction for General Integer Connections
Based on the Constraint Satisfaction Problem},
booktitle = {{GLOBECOM}},
pages = {1--7},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/icalp/BodirskyMM15,
author = {Manuel Bodirsky and
Barnaby Martin and
Antoine Mottet},
title = {Constraint Satisfaction Problems over the Integers with Successor},
booktitle = {{ICALP} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {9134},
pages = {256--267},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/icatech/RibicTM15,
author = {Samir Ribic and
Razija Turcinhodzic and
Amela Muratovic{-}Ribic},
title = {Modelling constraints in school timetabling using integer linear programming},
booktitle = {{ICAT}},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2015}
}
@article{DBLP:journals/corr/ContH15,
author = {Rama Cont and
Massoud Heidari},
title = {Optimal rounding under integer constraints},
journal = {CoRR},
volume = {abs/1501.00014},
year = {2015}
}
@article{DBLP:journals/corr/CuiMYLD15,
author = {Ying Cui and
Muriel M{\'{e}}dard and
Edmund M. Yeh and
Douglas J. Leith and
Ken R. Duffy},
title = {A Linear Network Code Construction for General Integer Connections
Based on the Constraint Satisfaction Problem},
journal = {CoRR},
volume = {abs/1502.06321},
year = {2015}
}
@article{DBLP:journals/accs/Smirnov14,
author = {Alexander V. Smirnov},
title = {Some solvability classes for the problem of integer balancing of a
three-dimensional matrix with constraints of the second type},
journal = {Autom. Control. Comput. Sci.},
volume = {48},
number = {7},
pages = {543--553},
year = {2014}
}
@article{DBLP:journals/cor/Shen14,
author = {Siqian Shen},
title = {Using integer programming for balancing return and risk in problems
with individual chance constraints},
journal = {Comput. Oper. Res.},
volume = {49},
pages = {59--70},
year = {2014}
}
@article{DBLP:journals/ejco/ZhangRBA14,
author = {Peter Y. Zhang and
David A. Romero and
J. Christopher Beck and
Cristina H. Amon},
title = {Solving wind farm layout optimization with mixed integer programs
and constraint programs},
journal = {{EURO} J. Comput. Optim.},
volume = {2},
number = {3},
pages = {195--219},
year = {2014}
}
@article{DBLP:journals/eor/Detienne14,
author = {Boris Detienne},
title = {A mixed integer linear programming approach to minimize the number
of late jobs with and without machine availability constraints},
journal = {Eur. J. Oper. Res.},
volume = {235},
number = {3},
pages = {540--552},
year = {2014}
}
@article{DBLP:journals/eor/ZhangR14,
author = {Weihua Zhang and
Marc Reimann},
title = {A simple augmented {\unicode{8714}}-constraint method for multi-objective
mathematical integer programming problems},
journal = {Eur. J. Oper. Res.},
volume = {234},
number = {1},
pages = {15--24},
year = {2014}
}
@article{DBLP:journals/icl/ShimKS14,
author = {Byonghyo Shim and
Suhyuk Kwon and
Byungkwen Song},
title = {Sparse Detection With Integer Constraint Using Multipath Matching
Pursuit},
journal = {{IEEE} Commun. Lett.},
volume = {18},
number = {10},
pages = {1851--1854},
year = {2014}
}
@article{DBLP:journals/jota/AfonsoG14,
author = {Rubens Junqueira Magalh{\~{a}}es Afonso and
Roberto Kawakami Harrop Galv{\~{a}}o},
title = {Comments on "Enhancements on the Hyperplanes Arrangements in Mixed-Integer
Programming Techniques" - Association Method for Unallocated Tuples
to Allow for a Single Additional Constraint},
journal = {J. Optim. Theory Appl.},
volume = {162},
number = {3},
pages = {996--1003},
year = {2014}
}
@article{DBLP:journals/ol/Branda14,
author = {Martin Branda},
title = {Sample approximation technique for mixed-integer stochastic programming
problems with expected value constraints},
journal = {Optim. Lett.},
volume = {8},
number = {3},
pages = {861--875},
year = {2014}
}
@inproceedings{DBLP:conf/miccai/RempflerSIXSKSAM14,
author = {Markus Rempfler and
Matthias Schneider and
Giovanna D. Ielacqua and
Xianghui Xiao and
Stuart R. Stock and
Jan Klohs and
G{\'{a}}bor Sz{\'{e}}kely and
Bjoern Andres and
Bjoern H. Menze},
title = {Extracting Vascular Networks under Physiological Constraints via Integer
Programming},
booktitle = {{MICCAI} {(2)}},
series = {Lecture Notes in Computer Science},
volume = {8674},
pages = {505--512},
publisher = {Springer},
year = {2014}
}
@article{DBLP:journals/corr/GrecoMPS14,
author = {Gianluigi Greco and
Enrico Malizia and
Luigi Palopoli and
Francesco Scarcello},
title = {Non-Transferable Utility Coalitional Games via Mixed-Integer Linear
Constraints},
journal = {CoRR},
volume = {abs/1401.3852},
year = {2014}
}
@article{DBLP:journals/corr/ImpagliazzoLPS14,
author = {Russell Impagliazzo and
Shachar Lovett and
Ramamohan Paturi and
Stefan Schneider},
title = {0-1 Integer Linear Programming with a Linear Number of Constraints},
journal = {CoRR},
volume = {abs/1401.5512},
year = {2014}
}
@article{DBLP:journals/corr/Ueno14,
author = {Kenya Ueno},
title = {Exact Algorithms for 0-1 Integer Programs with Linear Equality Constraints},
journal = {CoRR},
volume = {abs/1405.6851},
year = {2014}
}
@article{DBLP:journals/eccc/ImpagliazzoLPS14,
author = {Russell Impagliazzo and
Shachar Lovett and
Ramamohan Paturi and
Stefan Schneider},
title = {0-1 Integer Linear Programming with a Linear Number of Constraints},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR14-024}},
year = {2014}
}
@article{DBLP:journals/4or/Coniglio13,
author = {Stefano Coniglio},
title = {On coordinated cutting plane generation and mixed integer programs
with nonconvex 2-norm constraints},
journal = {4OR},
volume = {11},
number = {1},
pages = {95--96},
year = {2013}
}
@article{DBLP:journals/ai/JonssonL13,
author = {Peter Jonsson and
Tomas L{\"{o}}{\"{o}}w},
title = {Computational complexity of linear constraints over the integers},
journal = {Artif. Intell.},
volume = {195},
pages = {44--62},
year = {2013}
}
@article{DBLP:journals/amc/MavrotasF13,
author = {George Mavrotas and
Kostas Florios},
title = {An improved version of the augmented {\(\epsilon\)}-constraint method
{(AUGMECON2)} for finding the exact pareto set in multi-objective
integer programming problems},
journal = {Appl. Math. Comput.},
volume = {219},
number = {18},
pages = {9652--9669},
year = {2013}
}
@article{DBLP:journals/bioinformatics/WangX13,
author = {Zhiyong Wang and
Jinbo Xu},
title = {Predicting protein contact map using evolutionary and physical constraints
by integer programming},
journal = {Bioinform.},
volume = {29},
number = {13},
pages = {266--273},
year = {2013}
}
@article{DBLP:journals/ijdmb/ChenATC13,
author = {Xi Chen and
Tatsuya Akutsu and
Takeyuki Tamura and
Wai{-}Ki Ching},
title = {Finding optimal control policy in probabilistic Boolean Networks with
hard constraints by using integer programming and dynamic programming},
journal = {Int. J. Data Min. Bioinform.},
volume = {7},
number = {3},
pages = {321--343},
year = {2013}
}
@article{DBLP:journals/informs/KumarYC13,
author = {Akhil Kumar and
Wen Yao and
Chao{-}Hsien Chu},
title = {Flexible Process Compliance with Semantic Constraints Using Mixed-Integer
Programming},
journal = {{INFORMS} J. Comput.},
volume = {25},
number = {3},
pages = {543--559},
year = {2013}
}
@article{DBLP:journals/int/BocaHS13,
author = {Florin P. Boca and
Byron Heersink and
Paul Spiegelhalter},
title = {Gap Distribution of Farey Fractions under Some Divisibility Constraints},
journal = {Integers},
volume = {13},
pages = {A44},
year = {2013}
}
@article{DBLP:journals/int/StanicaSGMK13,
author = {Pantelimon Stanica and
Santanu Sarkar and
Sourav Sen Gupta and
Subhamoy Maitra and
Nirupam Kar},
title = {Counting Heron triangles with Constraints},
journal = {Integers},
volume = {13},
pages = {A3},
year = {2013}
}
@article{DBLP:journals/jcm/ZhuZZ13,
author = {Shijia Zhu and
Yujing Zeng and
Hongke Zhang},
title = {A Integer Non-linear Programming Model of Power Consumption of the
Internet under QoS Constraints},
journal = {J. Commun.},
volume = {8},
number = {1},
pages = {66--72},
year = {2013}
}
@article{DBLP:journals/tsg/KimG13,
author = {Seung{-}Jun Kim and
Georgios B. Giannakis},
title = {Scalable and Robust Demand Response With Mixed-Integer Constraints},
journal = {{IEEE} Trans. Smart Grid},
volume = {4},
number = {4},
pages = {2089--2099},
year = {2013}
}
@inproceedings{DBLP:conf/cpaior/HeinzKB13,
author = {Stefan Heinz and
Wen{-}Yang Ku and
J. Christopher Beck},
title = {Recent Improvements Using Constraint Integer Programming for Resource
Allocation and Scheduling},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {12--27},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/cpaior/SchichlNMD13,
author = {Hermann Schichl and
Arnold Neumaier and
Mih{\'{a}}ly Csaba Mark{\'{o}}t and
Ferenc Domes},
title = {On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded
Variables},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {216--233},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/cpaior/ZhangRBA13,
author = {Peter Y. Zhang and
David A. Romero and
J. Christopher Beck and
Cristina H. Amon},
title = {Solving Wind Farm Layout Optimization with Mixed Integer Programming
and Constraint Programming},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {284--299},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/popl/Ben-AmramG13,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
title = {On the linear ranking problem for integer linear-constraint loops},
booktitle = {{POPL}},
pages = {51--62},
publisher = {{ACM}},
year = {2013}
}
@inproceedings{DBLP:conf/socs/CalliessR13,
author = {Jan{-}P. Calliess and
Stephen J. Roberts},
title = {Multi-Agent Planning with Mixed-Integer Programming and Adaptive Interaction
Constraint Generation (Extended Abstract)},
booktitle = {{SOCS}},
pages = {207--208},
publisher = {{AAAI} Press},
year = {2013}
}
@inproceedings{DBLP:conf/wea/BuchheimT13,
author = {Christoph Buchheim and
Long Trieu},
title = {Quadratic Outer Approximation for Convex Integer Programming with
Box Constraints},
booktitle = {{SEA}},
series = {Lecture Notes in Computer Science},
volume = {7933},
pages = {224--235},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/wsc/NagarajP13,
author = {Kalyani Nagaraj and
Raghu Pasupathy},
title = {{R-SPLINE} for local integer-ordered simulation optimization problems
with stochastic constraints},
booktitle = {{WSC}},
pages = {846--855},
publisher = {{IEEE}},
year = {2013}
}
@article{DBLP:journals/corr/WangX13,
author = {Zhiyong Wang and
Jinbo Xu},
title = {Predicting protein contact map using evolutionary and physical constraints
by integer programming (extended version)},
journal = {CoRR},
volume = {abs/1308.1975},
year = {2013}
}
@phdthesis{DBLP:phd/ethos/He12b,
author = {Fang He},
title = {Effective integrations of constraint programming, integer programming
and local search for two combinatorial optimisation problems},
school = {University of Nottingham, {UK}},
year = {2012}
}
@article{DBLP:journals/coap/HijaziBCO12,
author = {Hassan L. Hijazi and
Pierre Bonami and
G{\'{e}}rard Cornu{\'{e}}jols and
Adam Ouorou},
title = {Mixed-integer nonlinear programs featuring "on/off" constraints},
journal = {Comput. Optim. Appl.},
volume = {52},
number = {2},
pages = {537--558},
year = {2012}
}
@article{DBLP:journals/orl/Branda12,
author = {Martin Branda},
title = {Sample approximation technique for mixed-integer stochastic programming
problems with several chance constraints},
journal = {Oper. Res. Lett.},
volume = {40},
number = {3},
pages = {207--211},
year = {2012}
}
@article{DBLP:journals/orl/VielmaAN12,
author = {Juan Pablo Vielma and
Shabbir Ahmed and
George L. Nemhauser},
title = {Mixed integer linear programming formulations for probabilistic constraints},
journal = {Oper. Res. Lett.},
volume = {40},
number = {3},
pages = {153--158},
year = {2012}
}
@article{DBLP:journals/corr/abs-1208-4041,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
title = {On the Linear Ranking Problem for Integer Linear-Constraint Loops},
journal = {CoRR},
volume = {abs/1208.4041},
year = {2012}
}
@article{DBLP:journals/arobots/ThunbergO11,
author = {Johan Thunberg and
Petter {\"{O}}gren},
title = {A Mixed Integer Linear Programming approach to pursuit evasion problems
with optional connectivity constraints},
journal = {Auton. Robots},
volume = {31},
number = {4},
pages = {333--343},
year = {2011}
}
@article{DBLP:journals/constraints/CoteGQR11,
author = {Marie{-}Claude C{\^{o}}t{\'{e}} and
Bernard Gendron and
Claude{-}Guy Quimper and
Louis{-}Martin Rousseau},
title = {Formal languages for integer programming modeling of shift scheduling
problems},
journal = {Constraints An Int. J.},
volume = {16},
number = {1},
pages = {54--76},
year = {2011}
}
@article{DBLP:journals/corr/abs-1105-6317,
author = {Amir M. Ben{-}Amram},
title = {Monotonicity Constraints for Termination in the Integer Domain},
journal = {Log. Methods Comput. Sci.},
volume = {7},
number = {3},
year = {2011}
}
@article{DBLP:journals/mp/GollmerGS11,
author = {Ralf Gollmer and
Uwe Gotzes and
R{\"{u}}diger Schultz},
title = {A note on second-order stochastic dominance constraints induced by
mixed-integer linear recourse},
journal = {Math. Program.},
volume = {126},
number = {1},
pages = {179--190},
year = {2011}
}
@article{DBLP:journals/siamjo/GuerraNL11,
author = {Andres Guerra and
Alexandra M. Newman and
Sven Leyffer},
title = {Concrete Structure Design using Mixed-Integer Nonlinear Programming
with Complementarity Constraints},
journal = {{SIAM} J. Optim.},
volume = {21},
number = {3},
pages = {833--863},
year = {2011}
}
@article{DBLP:journals/tcs/KulikSSS11,
author = {Ariel Kulik and
Hadas Shachnai and
Oded Shmueli and
Robert Sayegh},
title = {Approximation schemes for deal splitting and covering integer programs
with multiplicity constraints},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {52},
pages = {7087--7098},
year = {2011}
}
@article{DBLP:journals/tplp/CodishGBFG11,
author = {Michael Codish and
Igor Gonopolskiy and
Amir M. Ben{-}Amram and
Carsten Fuhs and
J{\"{u}}rgen Giesl},
title = {SAT-based termination analysis using monotonicity constraints over
the integers},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {503--520},
year = {2011}
}
@inproceedings{DBLP:conf/cpaior/SubramaniW11,
author = {K. Subramani and
James Worthington},
title = {A New Algorithm for Linear and Integer Feasibility in Horn Constraints},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {6697},
pages = {215--229},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/cvpr/SmithFL11,
author = {David L. Smith and
Jacqueline L. Feild and
Erik G. Learned{-}Miller},
title = {Enforcing similarity constraints with integer programming for better
scene text recognition},
booktitle = {{CVPR}},
pages = {73--80},
publisher = {{IEEE} Computer Society},
year = {2011}
}
@inproceedings{DBLP:conf/frocos/BruttomessoGR11,
author = {Roberto Bruttomesso and
Silvio Ghilardi and
Silvio Ranise},
title = {A Combination of Rewriting and Constraint Solving for the Quantifier-Free
Interpolation of Arrays with Integer Difference Constraints},
booktitle = {FroCoS},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {103--118},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/waoa/GoetzmannST11,
author = {Kai{-}Simon Goetzmann and
Sebastian Stiller and
Claudio Telha},
title = {Optimization over Integers with Robustness in Cost and Few Constraints},
booktitle = {{WAOA}},
series = {Lecture Notes in Computer Science},
volume = {7164},
pages = {89--101},
publisher = {Springer},
year = {2011}
}
@article{DBLP:journals/corr/abs-1107-5980,
author = {Michael Codish and
Igor Gonopolskiy and
Amir M. Ben{-}Amram and
Carsten Fuhs and
J{\"{u}}rgen Giesl},
title = {SAT-Based Termination Analysis Using Monotonicity Constraints over
the Integers},
journal = {CoRR},
volume = {abs/1107.5980},
year = {2011}
}
@phdthesis{DBLP:phd/ndltd/Magatao10,
author = {Leandro Magat{\~{a}}o},
title = {Mixed integer linear programming and constraint logic programming:
towards a unified modeling framework},
school = {Federal University of Technology - Paran{\'{a}}, Brazil},
year = {2010}
}
@article{DBLP:journals/anor/BeraldiB10,
author = {Patrizia Beraldi and
Maria Elena Bruni},
title = {An exact approach for solving integer problems under probabilistic
constraints with random technology matrix},
journal = {Ann. Oper. Res.},
volume = {177},
number = {1},
pages = {127--137},
year = {2010}
}
@article{DBLP:journals/anor/RieckZ10,
author = {Julia Rieck and
J{\"{u}}rgen Zimmermann},
title = {A new mixed integer linear model for a rich vehicle routing problem
with docking constraints},
journal = {Ann. Oper. Res.},
volume = {181},
number = {1},
pages = {337--358},
year = {2010}
}
@article{DBLP:journals/constraints/MarinescuD10,
author = {Radu Marinescu and
Rina Dechter},
title = {Evaluating the impact of {AND/OR} search on 0-1 integer linear programming},
journal = {Constraints An Int. J.},
volume = {15},
number = {1},
pages = {29--63},
year = {2010}
}
@article{DBLP:journals/dam/Wright10,
author = {Stephen E. Wright},
title = {Integer matrices with constraints on leading partial row and column
sums},
journal = {Discret. Appl. Math.},
volume = {158},
number = {16},
pages = {1838--1847},
year = {2010}
}
@article{DBLP:journals/endm/HijaziBCO10,
author = {Hassan L. Hijazi and
Pierre Bonami and
G{\'{e}}rard Cornu{\'{e}}jols and
Adam Ouorou},
title = {Mixed Integer NonLinear Programs featuring "On/Off" constraints: convex
analysis and applications},
journal = {Electron. Notes Discret. Math.},
volume = {36},
pages = {1153--1160},
year = {2010}
}
@article{DBLP:journals/jair/GrecoMPS10,
author = {Gianluigi Greco and
Enrico Malizia and
Luigi Palopoli and
Francesco Scarcello},
title = {Non-Transferable Utility Coalitional Games via Mixed-Integer Linear
Constraints},
journal = {J. Artif. Intell. Res.},
volume = {38},
pages = {633--685},
year = {2010}
}
@article{DBLP:journals/jgo/GaoR10,
author = {David Yang Gao and
Ning Ruan},
title = {Solutions to quadratic minimization problems with box and integer
constraints},
journal = {J. Glob. Optim.},
volume = {47},
number = {3},
pages = {463--484},
year = {2010}
}
@article{DBLP:journals/jgo/Obuchowska10,
author = {Wieslawa T. Obuchowska},
title = {Minimal infeasible constraint sets in convex integer programs},
journal = {J. Glob. Optim.},
volume = {46},
number = {3},
pages = {423--433},
year = {2010}
}
@article{DBLP:journals/mp/LuedtkeAN10,
author = {James R. Luedtke and
Shabbir Ahmed and
George L. Nemhauser},
title = {An integer programming approach for linear programs with probabilistic
constraints},
journal = {Math. Program.},
volume = {122},
number = {2},
pages = {247--272},
year = {2010}
}
@article{DBLP:journals/siamjo/BuchheimMW10,
author = {Christoph Buchheim and
Dennis Michaels and
Robert Weismantel},
title = {Integer Programming Subject to Monomial Constraints},
journal = {{SIAM} J. Optim.},
volume = {20},
number = {6},
pages = {3297--3311},
year = {2010}
}
@inproceedings{DBLP:conf/bibm/ChenATC10,
author = {Xi Chen and
Tatsuya Akutsu and
Takeyuki Tamura and
Wai{-}Ki Ching},
title = {Finding optimal control policy in Probabilistic Boolean Networks with
hard constraints by using integer programming and dynamic programming},
booktitle = {{BIBM}},
pages = {240--246},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@inproceedings{DBLP:conf/cpaior/BertholdHLMS10,
author = {Timo Berthold and
Stefan Heinz and
Marco E. L{\"{u}}bbecke and
Rolf H. M{\"{o}}hring and
Jens Schulz},
title = {A Constraint Integer Programming Approach for Resource-Constrained
Project Scheduling},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {313--317},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/cpaior/Moss10,
author = {Anna Moss},
title = {Constraint Programming with Arbitrarily Large Integer Variables},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {6140},
pages = {252--266},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/re/SalinesiMDD10,
author = {Camille Salinesi and
Ra{\'{u}}l Mazo and
Daniel Diaz and
Olfa Djebbi},
title = {Using Integer Constraint Solving in Reuse Based Requirements Engineering},
booktitle = {{RE}},
pages = {243--251},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@inproceedings{DBLP:conf/sefm/BersaniCFPR10,
author = {Marcello M. Bersani and
Luca Cavallaro and
Achille Frigeri and
Matteo Pradella and
Matteo Rossi},
title = {SMT-based Verification of {LTL} Specification with Integer Constraints
and its Application to Runtime Checking of Service Substitutability},
booktitle = {{SEFM}},
pages = {244--254},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@article{DBLP:journals/corr/abs-1004-2873,
author = {Marcello M. Bersani and
Luca Cavallaro and
Achille Frigeri and
Matteo Pradella and
Matteo Rossi},
title = {SMT-based Verification of {LTL} Specifications with Integer Constraints
and its Application to Runtime Checking of Service Substitutability},
journal = {CoRR},
volume = {abs/1004.2873},
year = {2010}
}
@article{DBLP:journals/cms/EscuderoGMP09,
author = {Laureano F. Escudero and
Mar{\'{\i}}a Araceli Gar{\'{\i}}n and
Mar{\'{\i}}a Merino and
Gloria P{\'{e}}rez},
title = {On multistage Stochastic Integer Programming for incorporating logical
constraints in asset and liability management under uncertainty},
journal = {Comput. Manag. Sci.},
volume = {6},
number = {3},
pages = {307--327},
year = {2009}
}
@article{DBLP:journals/constraints/FeydyS09,
author = {Thibaut Feydy and
Peter J. Stuckey},
title = {Propagating systems of dense linear integer constraints},
journal = {Constraints An Int. J.},
volume = {14},
number = {2},
pages = {235--253},
year = {2009}
}
@article{DBLP:journals/ior/BonamiL09,
author = {Pierre Bonami and
Miguel A. Lejeune},
title = {An Exact Solution Approach for Portfolio Optimization Problems Under
Stochastic and Integer Constraints},
journal = {Oper. Res.},
volume = {57},
number = {3},
pages = {650--670},
year = {2009}
}
@article{DBLP:journals/mor/BorozanC09,
author = {Valentin Borozan and
G{\'{e}}rard Cornu{\'{e}}jols},
title = {Minimal Valid Inequalities for Integer Constraints},
journal = {Math. Oper. Res.},
volume = {34},
number = {3},
pages = {538--546},
year = {2009}
}
@article{DBLP:journals/mp/CornuejolsM09,
author = {G{\'{e}}rard Cornu{\'{e}}jols and
Fran{\c{c}}ois Margot},
title = {On the facets of mixed integer programs with two integer variables
and two constraints},
journal = {Math. Program.},
volume = {120},
number = {2},
pages = {429--456},
year = {2009}
}
@article{DBLP:journals/mpc/Achterberg09,
author = {Tobias Achterberg},
title = {{SCIP:} solving constraint integer programs},
journal = {Math. Program. Comput.},
volume = {1},
number = {1},
pages = {1--41},
year = {2009}
}
@inproceedings{DBLP:conf/cav/KitchenK09,
author = {Nathan Kitchen and
Andreas Kuehlmann},
title = {A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints},
booktitle = {{CAV}},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {446--461},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/colognetwente/Schultz09,
author = {R{\"{u}}diger Schultz},
title = {Decomposition Methods for Stochastic Integer Programs with Dominance
Constraints},
booktitle = {{CTW}},
pages = {137--139},
year = {2009}
}
@inproceedings{DBLP:conf/cpaior/Acuna-AgostMFG09,
author = {Rodrigo Acuna{-}Agost and
Philippe Michelon and
Dominique Feillet and
Serigne Gueye},
title = {Constraint Programming and Mixed Integer Linear Programming for Rescheduling
Trains under Disrupted Operations},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {5547},
pages = {312--313},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/cpaior/MouretGP09,
author = {Sylvain Mouret and
Ignacio E. Grossmann and
Pierre Pestiaux},
title = {Tightening the Linear Relaxation of a Mixed Integer Nonlinear Program
Using Constraint Programming},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {5547},
pages = {208--222},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/fcs/PhamSC09,
author = {Huy Nguyen Anh Pham and
Arthur M. D. Shr and
Peter P. Chen},
title = {A Quadratic Integer Programming Framework for Dedicated Machine Constraint},
booktitle = {{FCS}},
pages = {155--161},
publisher = {{CSREA} Press},
year = {2009}
}
@inproceedings{DBLP:conf/iclp/Li09,
author = {Chendong Li},
title = {Research Summary: Extending Elimination Algorithms for Functional
Constraints to Solve Two Integer Variables per Inequality},
booktitle = {{ICLP}},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {530--531},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/sara/Revesz09,
author = {Peter Z. Revesz},
title = {Tightened Transitive Closure of Integer Addition Constraints},
booktitle = {{SARA}},
publisher = {{AAAI}},
year = {2009}
}
@inproceedings{DBLP:conf/sefm/BresolinGMS09,
author = {Davide Bresolin and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
title = {Right Propositional Neighborhood Logic over Natural Numbers with Integer
Constraints for Interval Lengths},
booktitle = {{SEFM}},
pages = {240--249},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@incollection{DBLP:reference/opt/AggounMV09,
author = {Abderrahmane Aggoun and
Christos T. Maravelias and
Alkis Vazacopoulos},
title = {Mixed Integer Programming/Constraint Programming Hybrid Methods},
booktitle = {Encyclopedia of Optimization},
pages = {2270--2276},
publisher = {Springer},
year = {2009}
}
@article{DBLP:journals/ipl/BlaserHM08,
author = {Markus Bl{\"{a}}ser and
Thomas Heynen and
Bodo Manthey},
title = {Adding cardinality constraints to integer programs with applications
to maximum satisfiability},
journal = {Inf. Process. Lett.},
volume = {105},
number = {5},
pages = {194--198},
year = {2008}
}
@article{DBLP:journals/siamjo/GollmerNS08,
author = {Ralf Gollmer and
Frederike Neise and
R{\"{u}}diger Schultz},
title = {Stochastic Programs with First-Order Dominance Constraints Induced
by Mixed-Integer Linear Recourse},
journal = {{SIAM} J. Optim.},
volume = {19},
number = {2},
pages = {552--571},
year = {2008}
}
@inproceedings{DBLP:conf/ACISicis/PhamSC08,
author = {Huy Nguyen Anh Pham and
Arthur M. D. Shr and
Peter P. Chen},
title = {An Integer Linear Programming Approach for Dedicated Machine Constraint},
booktitle = {{ACIS-ICIS}},
pages = {69--74},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@inproceedings{DBLP:conf/cpaior/AchterbergBKW08,
author = {Tobias Achterberg and
Timo Berthold and
Thorsten Koch and
Kati Wolter},
title = {Constraint Integer Programming: {A} New Approach to Integrate {CP}
and {MIP}},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {5015},
pages = {6--20},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/ictai/PhamSCL08,
author = {Huy Nguyen Anh Pham and
Arthur M. D. Shr and
Peter P. Chen and
Alan Liu},
title = {Scheduling for Dedicated Machine Constraint Using Integer Programming},
booktitle = {{ICTAI} {(1)}},
pages = {499--506},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@inproceedings{DBLP:conf/iwcia/CharrierB08,
author = {Emilie Charrier and
Lilian Buzer},
title = {Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint},
booktitle = {{IWCIA}},
series = {Lecture Notes in Computer Science},
volume = {4958},
pages = {205--216},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/latin/CornuejolsM08,
author = {G{\'{e}}rard Cornu{\'{e}}jols and
Fran{\c{c}}ois Margot},
title = {On the Facets of Mixed Integer Programs with Two Integer Variables
and Two Constraints},
booktitle = {{LATIN}},
series = {Lecture Notes in Computer Science},
volume = {4957},
pages = {317--328},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/lpar/BaumgartnerFT08,
author = {Peter Baumgartner and
Alexander Fuchs and
Cesare Tinelli},
title = {{(LIA)} - Model Evolution with Linear Integer Arithmetic Constraints},
booktitle = {{LPAR}},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {258--273},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/lpar/Rummer08,
author = {Philipp R{\"{u}}mmer},
title = {A Constraint Sequent Calculus for First-Order Logic with Linear Integer
Arithmetic},
booktitle = {{LPAR}},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {274--289},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/swat/BodlaenderTDL08,
author = {Hans L. Bodlaender and
Richard B. Tan and
Thomas C. van Dijk and
Jan van Leeuwen},
title = {Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint},
booktitle = {{SWAT}},
series = {Lecture Notes in Computer Science},
volume = {5124},
pages = {102--113},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/tal/ParmentierM08,
author = {Yannick Parmentier and
Wolfgang Maier},
title = {Using Constraints over Finite Sets of Integers for Range Concatenation
Grammar Parsing},
booktitle = {GoTAL},
series = {Lecture Notes in Computer Science},
volume = {5221},
pages = {360--365},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/vmcai/BagnaraHZ08,
author = {Roberto Bagnara and
Patricia M. Hill and
Enea Zaffanella},
title = {An Improved Tight Closure Algorithm for Integer Octagonal Constraints},
booktitle = {{VMCAI}},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {8--21},
publisher = {Springer},
year = {2008}
}
@inproceedings{DBLP:conf/wecwis/YooKLO08,
author = {John Jung{-}Woon Yoo and
Soundar R. T. Kumara and
Dongwon Lee and
Seog{-}Chan Oh},
title = {A Web Service Composition Framework Using Integer Programming with
Non-functional Objectives and Constraints},
booktitle = {{CEC/EEE}},
pages = {347--350},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@phdthesis{DBLP:phd/de/Achterberg2007,
author = {Tobias Achterberg},
title = {Constraint integer programming},
school = {Berlin Institute of Technology},
year = {2007}
}
@article{DBLP:journals/constraints/AptZ07,
author = {Krzysztof R. Apt and
Peter Zoeteweij},
title = {An Analysis of Arithmetic Constraints on Integer Intervals},
journal = {Constraints An Int. J.},
volume = {12},
number = {4},
pages = {429--468},
year = {2007}
}
@article{DBLP:journals/integration/SrinivasanC07,
author = {Krishnan Srinivasan and
Karam S. Chatha},
title = {Integer linear programming and heuristic techniques for system-level
low power scheduling on multiprocessor architectures under throughput
constraints},
journal = {Integr.},
volume = {40},
number = {3},
pages = {326--354},
year = {2007}
}
@article{DBLP:journals/itor/Mak07,
author = {Vicky Mak},
title = {Polyhedral studies for minimum-span graph labelling with integer distance
constraints},
journal = {Int. Trans. Oper. Res.},
volume = {14},
number = {2},
pages = {105--121},
year = {2007}
}
@article{DBLP:journals/mp/PatelC07,
author = {Jagat Patel and
John W. Chinneck},
title = {Active-constraint variable ordering for faster feasibility of mixed
integer linear programs},
journal = {Math. Program.},
volume = {110},
number = {3},
pages = {445--474},
year = {2007}
}
@inproceedings{DBLP:conf/cav/BeckerDEK07,
author = {Bernd Becker and
Christian Dax and
Jochen Eisinger and
Felix Klaedtke},
title = {{LIRA:} Handling Constraints of Linear Arithmetics over the Integers
and the Reals},
booktitle = {{CAV}},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {307--310},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/cpaior/CoteGR07,
author = {Marie{-}Claude C{\^{o}}t{\'{e}} and
Bernard Gendron and
Louis{-}Martin Rousseau},
title = {Modeling the Regular Constraint with Integer Programming},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {4510},
pages = {29--43},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/ipco/CunninghamG07,
author = {William H. Cunningham and
Jim Geelen},
title = {On Integer Programming and the Branch-Width of the Constraint Matrix},
booktitle = {{IPCO}},
series = {Lecture Notes in Computer Science},
volume = {4513},
pages = {158--166},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/ipco/LuedtkeAN07,
author = {James R. Luedtke and
Shabbir Ahmed and
George L. Nemhauser},
title = {An Integer Programming Approach for Linear Programs with Probabilistic
Constraints},
booktitle = {{IPCO}},
series = {Lecture Notes in Computer Science},
volume = {4513},
pages = {410--423},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/or/Limtanyakul07,
author = {Kamol Limtanyakul},
title = {Scheduling of Tests on Vehicle Prototypes Using Constraint and Integer
Programming},
booktitle = {{OR}},
series = {Operations Research Proceedings},
pages = {421--426},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/robocomm/ReinlS07,
author = {Christian Reinl and
Oskar von Stryk},
title = {Optimal control of multi-vehicle-systems under communication constraints
using mixed-integer linear programming},
booktitle = {{ROBOCOMM}},
series = {{ACM} International Conference Proceeding Series},
volume = {318},
pages = {3},
publisher = {{ICST/ACM}},
year = {2007}
}
@article{DBLP:journals/corr/abs-0705-4618,
author = {Roberto Bagnara and
Patricia M. Hill and
Enea Zaffanella},
title = {An Improved Tight Closure Algorithm for Integer Octagonal Constraints},
journal = {CoRR},
volume = {abs/0705.4618},
year = {2007}
}
@article{DBLP:journals/cor/BockmayrP06,
author = {Alexander Bockmayr and
Nicolai Pisaruk},
title = {Detecting infeasibility and generating cuts for mixed integer programming
using constraint programming},
journal = {Comput. Oper. Res.},
volume = {33},
number = {10},
pages = {2777--2786},
year = {2006}
}
@article{DBLP:journals/eor/AppaMM06,
author = {Gautam Appa and
Dimitris Magos and
Ioannis Mourtos},
title = {Searching for Mutually Orthogonal Latin Squares via integer and constraint
programming},
journal = {Eur. J. Oper. Res.},
volume = {173},
number = {2},
pages = {519--530},
year = {2006}
}
@article{DBLP:journals/iandc/ZhangSM06,
author = {Ting Zhang and
Henny B. Sipma and
Zohar Manna},
title = {Decision procedures for term algebras with integer constraints},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1526--1574},
year = {2006}
}
@article{DBLP:journals/informs/SadykovW06,
author = {Ruslan Sadykov and
Laurence A. Wolsey},
title = {Integer Programming and Constraint Programming in Solving a Multimachine
Assignment Scheduling Problem with Deadlines and Release Dates},
journal = {{INFORMS} J. Comput.},
volume = {18},
number = {2},
pages = {209--217},
year = {2006}
}
@article{DBLP:journals/scjapan/TakenakaOHT06,
author = {Takashi Takenaka and
Kozo Okano and
Teruo Higashino and
Kenichi Taniguchi},
title = {Symbolic model checking of extended finite state machines with linear
constraints over integer variables},
journal = {Syst. Comput. Jpn.},
volume = {37},
number = {6},
pages = {64--72},
year = {2006}
}
@article{DBLP:journals/tcs/Demri06,
author = {St{\'{e}}phane Demri},
title = {{LTL} over integer periodicity constraints},
journal = {Theor. Comput. Sci.},
volume = {360},
number = {1-3},
pages = {96--123},
year = {2006}
}
@inproceedings{DBLP:conf/acl/ClarkeL06a,
author = {James Clarke and
Mirella Lapata},
title = {Constraint-Based Sentence Compression: An Integer Programming Approach},
booktitle = {{ACL}},
publisher = {The Association for Computer Linguistics},
year = {2006}
}
@inproceedings{DBLP:conf/cp/JonssonKN06,
author = {Peter Jonsson and
Fredrik Kuivinen and
Gustav Nordh},
title = {Approximability of Integer Programming with Generalised Constraints},
booktitle = {{CP}},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {256--270},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/dac/AksoyCFM06,
author = {Levent Aksoy and
Eduardo A. C. da Costa and
Paulo F. Flores and
Jos{\'{e}} Monteiro},
title = {Optimization of area under a delay constraint in digital filter synthesis
using SAT-based integer linear programming},
booktitle = {{DAC}},
pages = {669--674},
publisher = {{ACM}},
year = {2006}
}
@article{DBLP:journals/corr/abs-cs-0602047,
author = {Peter Jonsson and
Fredrik Kuivinen and
Gustav Nordh},
title = {Approximability of Integer Programming with Generalised Constraints},
journal = {CoRR},
volume = {abs/cs/0602047},
year = {2006}
}
@article{DBLP:journals/corr/abs-cs-0607016,
author = {Krzysztof R. Apt and
Peter Zoeteweij},
title = {An Analysis of Arithmetic Constraints on Integer Intervals},
journal = {CoRR},
volume = {abs/cs/0607016},
year = {2006}
}
@article{DBLP:journals/eor/BeraldiR05,
author = {Patrizia Beraldi and
Andrzej Ruszczynski},
title = {Beam search heuristic to solve stochastic integer problems under probabilistic
constraints},
journal = {Eur. J. Oper. Res.},
volume = {167},
number = {1},
pages = {35--47},
year = {2005}
}
@article{DBLP:journals/tcas/LlorensHN05,
author = {Ashley J. Llorens and
Christoforos N. Hadjicostis and
Hen Chi Ni},
title = {Quantization of {FIR} filters under a total integer cost constraint},
journal = {{IEEE} Trans. Circuits Syst. {II} Express Briefs},
volume = {52-II},
number = {9},
pages = {576--580},
year = {2005}
}
@inproceedings{DBLP:conf/fsttcs/ZhangSM05,
author = {Ting Zhang and
Henny B. Sipma and
Zohar Manna},
title = {Decision Procedures for Queues with Integer Constraints},
booktitle = {{FSTTCS}},
series = {Lecture Notes in Computer Science},
volume = {3821},
pages = {225--237},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/icip/PeiD05a,
author = {Soo{-}Chang Pei and
Jian{-}Jiun Ding},
title = {Reversible integer color transform with bit-constraint},
booktitle = {{ICIP} {(3)}},
pages = {964--967},
publisher = {{IEEE}},
year = {2005}
}
@inproceedings{DBLP:conf/wsc/Ozden05,
author = {Mufit Ozden},
title = {A new optimization heuristic for continuous and integer decisions
with constraints in simulation},
booktitle = {{WSC}},
pages = {853--856},
publisher = {{IEEE} Computer Society},
year = {2005}
}
@article{DBLP:journals/cor/KozanidisM04,
author = {George Kozanidis and
Emanuel Melachrinoudis},
title = {A branch {\&} bound algorithm for the 0-1 mixed integer knapsack
problem with linear multiple choice constraints},
journal = {Comput. Oper. Res.},
volume = {31},
number = {5},
pages = {695--711},
year = {2004}
}
@inproceedings{DBLP:conf/cade/ZhangSM04,
author = {Ting Zhang and
Henny B. Sipma and
Zohar Manna},
title = {Decision Procedures for Recursive Data Structures with Integer Constraints},
booktitle = {{IJCAR}},
series = {Lecture Notes in Computer Science},
volume = {3097},
pages = {152--167},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/cp/LawL04,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee},
title = {Global Constraints for Integer and Set Value Precedence},
booktitle = {{CP}},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {362--376},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/cpaior/CorreaLR04,
author = {Ayoub Insa Corr{\'{e}}a and
Andr{\'{e}} Langevin and
Louis{-}Martin Rousseau},
title = {Dispatching and Conflict-Free Routing of Automated Guided Vehicles:
{A} Hybrid Approach Combining Constraint Programming and Mixed Integer
Programming},
booktitle = {{CPAIOR}},
series = {Lecture Notes in Computer Science},
volume = {3011},
pages = {370--379},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/fossacs/Demri04,
author = {St{\'{e}}phane Demri},
title = {{LTL} over Integer Periodicity Constraints: (Extended Abstract)},
booktitle = {FoSSaCS},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {121--135},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/glvlsi/LvovH04,
author = {Alexey Lvov and
Fook{-}Luen Heng},
title = {A graph based simplex method for the integer minimum perturbation
problem with sum and difference constraints},
booktitle = {{ACM} Great Lakes Symposium on {VLSI}},
pages = {67--72},
publisher = {{ACM}},
year = {2004}
}
@inproceedings{DBLP:conf/waoa/ShachnaiSS04,
author = {Hadas Shachnai and
Oded Shmueli and
Robert Sayegh},
title = {Approximation Schemes for Deal Splitting and Covering Integer Programs
with Multiplicity Constraints},
booktitle = {{WAOA}},
series = {Lecture Notes in Computer Science},
volume = {3351},
pages = {111--125},
publisher = {Springer},
year = {2004}
}
@article{DBLP:journals/corr/cs-PL-0403016,
author = {Krzysztof R. Apt and
Peter Zoeteweij},
title = {A Comparative Study of Arithmetic Constraints on Integer Intervals},
journal = {CoRR},
volume = {cs.PL/0403016},
year = {2004}
}
@phdthesis{DBLP:phd/hal/Demassey03,
author = {Sophie Demassey},
title = {M{\'{e}}thodes hybrides de programmation par contraintes et programmation
lin{\'{e}}aire pour le probl{\`{e}}me d'ordonnancement de projet
{\`{a}} contraintes de ressources. (Hybrid Constraint Programming-Integer
Linear Programming approaches for the Resource-Constrained Project
Scheduling Problem)},
school = {University of Avignon, France},
year = {2003}
}
@article{DBLP:journals/appml/Cooke03,
author = {Charlie H. Cooke},
title = {An integer optimization problem with mixed algebraic and number-theoretic
constraints},
journal = {Appl. Math. Lett.},
volume = {16},
number = {5},
pages = {635--638},
year = {2003}
}
@article{DBLP:journals/dam/Kolliopoulos03,
author = {Stavros G. Kolliopoulos},
title = {Approximating covering integer programs with multiplicity constraints},
journal = {Discret. Appl. Math.},
volume = {129},
number = {2-3},
pages = {461--473},
year = {2003}
}
@inproceedings{DBLP:conf/csclp/AptZ03,
author = {Krzysztof R. Apt and
Peter Zoeteweij},
title = {A Comparative Study of Arithmetic Constraints on Integer Intervals},
booktitle = {{CSCLP}},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {1--24},
publisher = {Springer},
year = {2003}
}
@article{DBLP:journals/eor/Crema02a,
author = {Alejandro Crema},
title = {An algorithm to perform a complete parametric analysis relative to
the constraint matrix for a 0-1-integer linear program},
journal = {Eur. J. Oper. Res.},
volume = {138},
number = {3},
pages = {484--494},
year = {2002}
}
@article{DBLP:journals/informs/Hentenryck02,
author = {Pascal Van Hentenryck},
title = {Constraint and Integer Programming in {OPL}},
journal = {{INFORMS} J. Comput.},
volume = {14},
number = {4},
pages = {345--372},
year = {2002}
}
@article{DBLP:journals/informs/MilanoORT02,
author = {Michela Milano and
Greger Ottosson and
Philippe Refalo and
Erlendur S. Thorsteinsson},
title = {The Role of Integer Programming Techniques in Constraint Programming's
Global Constraints},
journal = {{INFORMS} J. Comput.},
volume = {14},
number = {4},
pages = {387--402},
year = {2002}
}
@article{DBLP:journals/oms/BeraldiR02,
author = {Patrizia Beraldi and
Andrzej Ruszczynski},
title = {A branch and bound method for stochastic integer problems under probabilistic
constraints},
journal = {Optim. Methods Softw.},
volume = {17},
number = {3},
pages = {359--382},
year = {2002}
}
@article{DBLP:journals/ors/Timpe02,
author = {Christian Timpe},
title = {Solving planning and scheduling problems with combined integer and
constraint programming},
journal = {{OR} Spectr.},
volume = {24},
number = {4},
pages = {431--448},
year = {2002}
}
@inproceedings{DBLP:conf/cp/AppaMM02,
author = {Gautam Appa and
Ioannis Mourtos and
Dimitris Magos},
title = {Integrating Constraint and Integer Programming for the Orthogonal
Latin Squares Problem},
booktitle = {{CP}},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {17--32},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/esa/AlthausBEJKM02,
author = {Ernst Althaus and
Alexander Bockmayr and
Matthias Elf and
Michael J{\"{u}}nger and
Thomas Kasper and
Kurt Mehlhorn},
title = {{SCIL} - Symbolic Constraints in Integer Linear Programming},
booktitle = {{ESA}},
series = {Lecture Notes in Computer Science},
volume = {2461},
pages = {75--87},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/patat/EastonNT02,
author = {Kelly Easton and
George L. Nemhauser and
Michael A. Trick},
title = {Solving the Travelling Tournament Problem: {A} Combined Integer Programming
and Constraint Programming Approach},
booktitle = {{PATAT}},
series = {Lecture Notes in Computer Science},
volume = {2740},
pages = {100--112},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/patat/Trick02,
author = {Michael A. Trick},
title = {Integer and Constraint Programming Approaches for Round-Robin Tournament
Scheduling},
booktitle = {{PATAT}},
series = {Lecture Notes in Computer Science},
volume = {2740},
pages = {63--77},
publisher = {Springer},
year = {2002}
}
@article{DBLP:journals/algorithmica/Bar-YehudaR01,
author = {Reuven Bar{-}Yehuda and
Dror Rawitz},
title = {Efficient Algorithms for Integer Programs with Two Variables per Constraint},
journal = {Algorithmica},
volume = {29},
number = {4},
pages = {595--609},
year = {2001}
}
@article{DBLP:journals/anor/Mason01,
author = {Andrew J. Mason},
title = {Elastic Constraint Branching, the Wedelin/Carmen Lagrangian Heuristic
and Integer Programming for Personnel Scheduling},
journal = {Ann. Oper. Res.},
volume = {108},
number = {1-4},
pages = {239--276},
year = {2001}
}
@article{DBLP:journals/informs/WilliamsY01,
author = {H. Paul Williams and
Hong Yan},
title = {Representations of the all{\_}different Predicate of Constraint Satisfaction
in Integer Programming},
journal = {{INFORMS} J. Comput.},
volume = {13},
number = {2},
pages = {96--103},
year = {2001}
}
@inproceedings{DBLP:conf/cp/Thorsteinsson01,
author = {Erlendur S. Thorsteinsson},
title = {Branch-and-Check: {A} Hybrid Framework Integrating Mixed Integer Programming
and Constraint Logic Programming},
booktitle = {{CP}},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {16--30},
publisher = {Springer},
year = {2001}
}
@article{DBLP:journals/orl/Crema00,
author = {Alejandro Crema},
title = {An algorithm for the multiparametric 0-1-integer linear programming
problem relative to the constraint matrix},
journal = {Oper. Res. Lett.},
volume = {27},
number = {1},
pages = {13--19},
year = {2000}
}
@article{DBLP:journals/anor/RodosekWH99,
author = {R. Rodosek and
Mark G. Wallace and
M. T. Hajian},
title = {A new approach to integrating mixed integer programming and constraint
logicprogramming},
journal = {Ann. Oper. Res.},
volume = {86},
pages = {63--87},
year = {1999}
}
@article{DBLP:journals/orl/Li99,
author = {Duan Li},
title = {Zero duality gap in integer programming: \emph{P}-norm surrogate constraint
method},
journal = {Oper. Res. Lett.},
volume = {25},
number = {2},
pages = {89--96},
year = {1999}
}
@inproceedings{DBLP:conf/esa/Bar-YehudaR99,
author = {Reuven Bar{-}Yehuda and
Dror Rawitz},
title = {Efficient Algorithms for Integer Programs with Two Variables per Constraint},
booktitle = {{ESA}},
series = {Lecture Notes in Computer Science},
volume = {1643},
pages = {116--126},
publisher = {Springer},
year = {1999}
}
@inproceedings{DBLP:conf/jfplc/BockmayrK99,
author = {Alexander Bockmayr and
Thomas Kasper},
title = {Branch-and-Infer: an Unifying Framework for Integer Linear Programming
and Finite Domain Constraint Programming},
booktitle = {{JFPLC}},
pages = {141--142},
publisher = {Hermes},
year = {1999}
}
@phdthesis{DBLP:phd/dnb/Kasper98,
author = {Thomas Kasper},
title = {A unifying logical framework for integer linear programming and finite
domain constraint programming},
school = {Saarland University, Saarbr{\"{u}}cken, Germany},
year = {1998}
}
@article{DBLP:journals/eor/ToktayU98,
author = {L. Beril Toktay and
Reha Uzsoy},
title = {A capacity allocation problem with integer side constraints},
journal = {Eur. J. Oper. Res.},
volume = {109},
number = {1},
pages = {170--182},
year = {1998}
}
@article{DBLP:journals/informs/BockmayrK98,
author = {Alexander Bockmayr and
Thomas Kasper},
title = {Branch and Infer: {A} Unifying Framework for Integer and Finite Domain
Constraint Programming},
journal = {{INFORMS} J. Comput.},
volume = {10},
number = {3},
pages = {287--300},
year = {1998}
}
@article{DBLP:journals/informs/Darby-DowmanL98,
author = {Ken Darby{-}Dowman and
James Little},
title = {Properties of Some Combinatorial Optimization Problems and Their Effect
on the Performance of Integer Programming and Constraint Logic Programming},
journal = {{INFORMS} J. Comput.},
volume = {10},
number = {3},
pages = {276--286},
year = {1998}
}
@article{DBLP:journals/informs/ProllS98,
author = {Les G. Proll and
Barbara Smith},
title = {Integer Linear Programming and Constraint Programming Approaches to
a Template Design Problem},
journal = {{INFORMS} J. Comput.},
volume = {10},
number = {3},
pages = {265--275},
year = {1998}
}
@article{DBLP:journals/informs/WilliamsW98,
author = {H. Paul Williams and
John M. Wilson},
title = {Connections Between Integer Linear Programming and Constraint Logic
Programming - An Overview and Introduction to the Cluster of Articles},
journal = {{INFORMS} J. Comput.},
volume = {10},
number = {3},
pages = {261--264},
year = {1998}
}
@article{DBLP:journals/jlp/TomanC98,
author = {David Toman and
Jan Chomicki},
title = {Datalog with Integer Periodicity Constraints},
journal = {J. Log. Program.},
volume = {35},
number = {3},
pages = {263--290},
year = {1998}
}
@article{DBLP:journals/siamjo/Dinwoodie98,
author = {Ian H. Dinwoodie},
title = {Stochastic Simulation on Integer Constraint Sets},
journal = {{SIAM} J. Optim.},
volume = {9},
number = {1},
pages = {53--61},
year = {1998}
}
@inproceedings{DBLP:conf/issta/BultanGL98,
author = {Tevfik Bultan and
Richard Gerber and
Christopher League},
title = {Verifying Systems with Integer Constraints and Boolean Predicates:
{A} Composite Approach},
booktitle = {{ISSTA}},
pages = {113--123},
publisher = {{ACM}},
year = {1998}
}
@phdthesis{DBLP:phd/basesearch/Olof97,
author = {Nilsson Olof},
title = {Short Term Scheduling of Hydrothermal Power Systems With Integer Hydro
Constraints},
school = {Royal Institute of Technology, Stockholm, Sweden},
year = {1997}
}
@article{DBLP:journals/anor/MaffioliS97,
author = {Francesco Maffioli and
Anna Sciomachen},
title = {A mixed-integer model for solving ordering problems with side constraints},
journal = {Ann. Oper. Res.},
volume = {69},
pages = {277--297},
year = {1997}
}
@article{DBLP:journals/constraints/Darby-DowmanLMZ97,
author = {Ken Darby{-}Dowman and
James Little and
Gautam Mitra and
Marco Zaffalon},
title = {Constraint Logic Programming and Integer Programming Approaches and
Their Collaboration in Solving an Assignment Scheduling Problem},
journal = {Constraints An Int. J.},
volume = {1},
number = {3},
pages = {245--264},
year = {1997}
}
@article{DBLP:journals/cor/ShiL97,
author = {Yong Shi and
Heeseok Lee},
title = {A binary integer linear program with multi-criteria and multi-constraint
levels},
journal = {Comput. Oper. Res.},
volume = {24},
number = {3},
pages = {259--273},
year = {1997}
}
@article{DBLP:journals/eor/WilliamsB97,
author = {H. Paul Williams and
Sally C. Brailsford},
title = {The splitting of variables and constraints in the formulation of integer
programming models},
journal = {Eur. J. Oper. Res.},
volume = {100},
number = {3},
pages = {623--628},
year = {1997}
}
@article{DBLP:journals/jlp/BenhamouO97,
author = {Fr{\'{e}}d{\'{e}}ric Benhamou and
William J. Older},
title = {Applying Interval Arithmetic to Real, Integer, and Boolean Constraints},
journal = {J. Log. Program.},
volume = {32},
number = {1},
pages = {1--24},
year = {1997}
}
@article{DBLP:journals/jsc/Peltier97,
author = {Nicolas Peltier},
title = {Increasing Model Building Capabilities by Constraint Solving on Terms
with Integer Exponents},
journal = {J. Symb. Comput.},
volume = {24},
number = {1},
pages = {59--101},
year = {1997}
}
@article{DBLP:journals/constraints/SmithBHW96,
author = {Barbara M. Smith and
Sally C. Brailsford and
Peter M. Hubbard and
H. Paul Williams},
title = {The Progressive Party Problem: Integer Linear Programming and Constraint
Programming Compared},
journal = {Constraints An Int. J.},
volume = {1},
number = {1/2},
pages = {119--138},
year = {1996}
}
@inproceedings{DBLP:conf/esop/Seidl96,
author = {Helmut Seidl},
title = {Integer Constraints to Stop Deforestation},
booktitle = {{ESOP}},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {326--340},
publisher = {Springer},
year = {1996}
}
@article{DBLP:journals/informs/JordanD95,
author = {Carsten Jordan and
Andreas Drexl},
title = {A Comparison of Constraint and Mixed-Integer Programming Solvers for
Batch Sequencing with Sequence-Dependent Setups},
journal = {{INFORMS} J. Comput.},
volume = {7},
number = {2},
pages = {160--165},
year = {1995}
}
@article{DBLP:journals/tcom/SalzZ95,
author = {Jack Salz and
Ephraim Zehavi},
title = {Decoding under integer metrics constraints},
journal = {{IEEE} Trans. Commun.},
volume = {43},
number = {2/3/4},
pages = {307--317},
year = {1995}
}
@inproceedings{DBLP:conf/cp/SmithBHW95,
author = {Barbara M. Smith and
Sally C. Brailsford and
Peter M. Hubbard and
H. Paul Williams},
title = {The Progressive Party Problem: Integer Linear Programming and Constraint
Programming Compared},
booktitle = {{CP}},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {36--52},
publisher = {Springer},
year = {1995}
}
@inproceedings{DBLP:conf/conpar/MaslovP94,
author = {Vadim Maslov and
William W. Pugh},
title = {Simplifying Polynominal Constraints Over Integers to Make Dependence
Analysis More Precise},
booktitle = {{CONPAR}},
series = {Lecture Notes in Computer Science},
volume = {854},
pages = {737--748},
publisher = {Springer},
year = {1994}
}
@inproceedings{DBLP:conf/ictl/HahnleI94,
author = {Reiner H{\"{a}}hnle and
Ortrun Ibens},
title = {Improving Temporal Logic Tableaux Using Integer Constraints},
booktitle = {{ICTL}},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {535--539},
publisher = {Springer},
year = {1994}
}
@inproceedings{DBLP:conf/slp/TomanCR94,
author = {David Toman and
Jan Chomicki and
David S. Rogers},
title = {Datalog with Integer Periodicity Constraints},
booktitle = {{ILPS}},
pages = {189--203},
publisher = {{MIT} Press},
year = {1994}
}
@article{DBLP:journals/anor/Nygreen93,
author = {Bj{\o}rn Nygreen},
title = {Solving integer programs with a few important binary gub constraints},
journal = {Ann. Oper. Res.},
volume = {43},
number = {8},
pages = {455--465},
year = {1993}
}
@article{DBLP:journals/orl/Baldick93,
author = {Ross Baldick},
title = {Generalization of Barahona's algorithm for cases of integer non-linear
programming with box constraints},
journal = {Oper. Res. Lett.},
volume = {13},
number = {2},
pages = {99--105},
year = {1993}
}
@article{DBLP:journals/tcs/Revesz93,
author = {Peter Z. Revesz},
title = {A Closed-Form Evaluation for Datalog Queries with Integer (Gap)-Order
Constraints},
journal = {Theor. Comput. Sci.},
volume = {116},
number = {1},
pages = {117--149},
year = {1993}
}
@article{DBLP:journals/tcs/Monfroglio92,
author = {Angelo Monfroglio},
title = {Integer Programs for Logic Constraint Satisfaction},
journal = {Theor. Comput. Sci.},
volume = {97},
number = {1},
pages = {105--130},
year = {1992}
}
@inproceedings{DBLP:conf/dimacs/ZehaviS92,
author = {Ephraim Zehavi and
Jack Salz},
title = {Decoding Under Integer Metric Constraints},
booktitle = {Coding And Quantization},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {14},
pages = {83--94},
publisher = {{DIMACS/AMS}},
year = {1992}
}
@article{DBLP:journals/mp/MichelonM91,
author = {Philippe Michelon and
Nelson Maculan},
title = {Lagrangean decomposition for integer nonlinear programming with linear
constraints},
journal = {Math. Program.},
volume = {52},
pages = {303--313},
year = {1991}
}
@inproceedings{DBLP:conf/fct/BankKMS91,
author = {Bernd Bank and
Teresa Krick and
Reinhard Mandel and
Pablo Solern{\'{o}}},
title = {A Gemometrical Bound for Integer Programming with Polynomial Constraints},
booktitle = {{FCT}},
series = {Lecture Notes in Computer Science},
volume = {529},
pages = {121--125},
publisher = {Springer},
year = {1991}
}
@article{DBLP:journals/siamdm/GrotschelM90,
author = {Martin Gr{\"{o}}tschel and
Clyde L. Monma},
title = {Integer Polyhedra Arising from Certain Network Design Problems with
Connectivity Constraints},
journal = {{SIAM} J. Discret. Math.},
volume = {3},
number = {4},
pages = {502--523},
year = {1990}
}
@article{DBLP:journals/tse/BiswasR87,
author = {Somenath Biswas and
V. Rajaraman},
title = {An Algorithm to Decide Feasibility of Linear Integer Constraints Occurring
in Decision Tables},
journal = {{IEEE} Trans. Software Eng.},
volume = {13},
number = {12},
pages = {1340--1347},
year = {1987}
}
@article{DBLP:journals/mmor/Lin86,
author = {Gwo Dong Lin},
title = {A note on aggregating constraints in integer programming},
journal = {Z. Oper. Research},
volume = {30},
number = {1},
year = {1986}
}
@article{DBLP:journals/networks/ChanasK86,
author = {Stefan Chanas and
Waldemar Kolodziejczyk},
title = {Integer flows in network with fuzzy capacity constraints},
journal = {Networks},
volume = {16},
number = {1},
pages = {17--31},
year = {1986}
}
@article{DBLP:journals/ior/Onyekwelu83,
author = {Denis C. Onyekwelu},
title = {Technical Note - Computational Viability of a Constraint Aggregation
Scheme for Integer Linear Programming Problems},
journal = {Oper. Res.},
volume = {31},
number = {4},
pages = {795--801},
year = {1983}
}
@article{DBLP:journals/ior/KendallZ77,
author = {Kenneth E. Kendall and
Stanley Zionts},
title = {Technical Note - Solving Integer Programming Problems by Aggregating
Constraints},
journal = {Oper. Res.},
volume = {25},
number = {2},
pages = {346--351},
year = {1977}
}
@article{DBLP:journals/ior/Jeroslow73,
author = {Robert G. Jeroslow},
title = {There Cannot be any Algorithm for Integer Programming with Quadratic
Constraints},
journal = {Oper. Res.},
volume = {21},
number = {1},
pages = {221--224},
year = {1973}
}
@article{DBLP:journals/ior/Jeroslow71,
author = {Robert G. Jeroslow},
title = {Comments on Integer Hulls of Two Linear Constraints},
journal = {Oper. Res.},
volume = {19},
number = {4},
pages = {1061--1069},
year = {1971}
}
@article{DBLP:journals/ior/Rubin70,
author = {David S. Rubin},
title = {On the Unlimited Number of Faces in Integer Hulls of Linear Programs
with a Single Constraint},
journal = {Oper. Res.},
volume = {18},
number = {5},
pages = {940--946},
year = {1970}
}
@article{DBLP:journals/ior/Raghavachari69,
author = {Madabhushi Raghavachari},
title = {On Connections Between Zero-One Integer Programming and Concave Programming
Under Linear Constraints},
journal = {Oper. Res.},
volume = {17},
number = {4},
pages = {680--684},
year = {1969}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-28 14:42 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
