Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "constraint integer"
@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}, url = {https://doi.org/10.1007/s00236-023-00446-4}, doi = {10.1007/S00236-023-00446-4}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acta/WuCWXZ24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10878-024-01158-2}, doi = {10.1007/S10878-024-01158-2}, timestamp = {Fri, 17 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jco/HuXDM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.swevo.2023.101428}, doi = {10.1016/J.SWEVO.2023.101428}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/swevo/LiuYXQG24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TCST.2023.3343294}, doi = {10.1109/TCST.2023.3343294}, timestamp = {Fri, 17 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcst/SunGWC24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/Ge24, author = {Cunjing Ge}, editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}, title = {Approximate Integer Solution Counts over Linear Arithmetic Constraints}, booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver, Canada}, pages = {8022--8029}, publisher = {{AAAI} Press}, year = {2024}, url = {https://doi.org/10.1609/aaai.v38i8.28640}, doi = {10.1609/AAAI.V38I8.28640}, timestamp = {Tue, 02 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/Ge24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/inoc/BastosBV24, author = {Marcelo Ant{\^{o}}nio Mendes Bastos and Humberto Brand{\~{a}}o and Cristiano Arbex Valle}, editor = {Paula Carroll and Deepak Ajwani}, title = {Ensemble pruning via an integer programming approach with diversity constraints}, booktitle = {Proceedings of the 11th International Network Optimization Conference, {INOC} 2024, Dublin, Ireland, March 11-23, 2024}, pages = {4--9}, publisher = {OpenProceedings.org}, year = {2024}, url = {https://doi.org/10.48786/inoc.2024.02}, doi = {10.48786/INOC.2024.02}, timestamp = {Tue, 16 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/inoc/BastosBV24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soda/DefossezHMP24, author = {R{\'{e}}my D{\'{e}}fossez and Christoph Haase and Alessio Mansutti and Guillermo A. P{\'{e}}rez}, editor = {David P. Woodruff}, title = {Integer Programming with {GCD} Constraints}, booktitle = {Proceedings of the 2024 {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2024, Alexandria, VA, USA, January 7-10, 2024}, pages = {3605--3658}, publisher = {{SIAM}}, year = {2024}, url = {https://doi.org/10.1137/1.9781611977912.128}, doi = {10.1137/1.9781611977912.128}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/soda/DefossezHMP24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2402.10298}, doi = {10.48550/ARXIV.2402.10298}, eprinttype = {arXiv}, eprint = {2402.10298}, timestamp = {Mon, 26 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-10298.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2402.15522}, doi = {10.48550/ARXIV.2402.15522}, eprinttype = {arXiv}, eprint = {2402.15522}, timestamp = {Mon, 25 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2402-15522.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s00453-022-01048-1}, doi = {10.1007/S00453-022-01048-1}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/algorithmica/SubramaniW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1142/S0217595923400183}, doi = {10.1142/S0217595923400183}, timestamp = {Mon, 13 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/apjor/TanYZZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1080/01691864.2022.2117997}, doi = {10.1080/01691864.2022.2117997}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ar/CaregnatoNetoMA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-023-09364-1}, doi = {10.1007/S10601-023-09364-1}, timestamp = {Tue, 28 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/UlrichOlteanNW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejco.2023.100061}, doi = {10.1016/J.EJCO.2023.100061}, timestamp = {Sat, 13 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejco/WeinerELS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejco.2023.100058}, doi = {10.1016/J.EJCO.2023.100058}, timestamp = {Fri, 08 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejco/YfantisWWRE23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2022.07.044}, doi = {10.1016/J.EJOR.2022.07.044}, timestamp = {Sat, 13 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eor/Mesquita-CunhaF23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.eswa.2023.120895}, doi = {10.1016/J.ESWA.2023.120895}, timestamp = {Wed, 01 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/AlcantaraR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1089/cmb.2022.0352}, doi = {10.1089/CMB.2022.0352}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcb/TamuraMTK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TKDE.2021.3124271}, doi = {10.1109/TKDE.2021.3124271}, timestamp = {Sat, 25 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tkde/YangH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/ChembuSKK23, author = {Aravinth Chembu and Scott Sanner and Hassan Khurram and Akshat Kumar}, editor = {Brian Williams and Yiling Chen and Jennifer Neville}, title = {Scalable and Globally Optimal Generalized L{\unicode{8321}} K-center Clustering via Constraint Generation in Mixed Integer Linear Programming}, booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023}, pages = {7015--7023}, publisher = {{AAAI} Press}, year = {2023}, url = {https://doi.org/10.1609/aaai.v37i6.25857}, doi = {10.1609/AAAI.V37I6.25857}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/ChembuSKK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/YeWXWJ23, author = {Huigen Ye and Hongyan Wang and Hua Xu and Chengming Wang and Yu Jiang}, editor = {Brian Williams and Yiling Chen and Jennifer Neville}, title = {Adaptive Constraint Partition Based Optimization Framework for Large-Scale Integer Linear Programming (Student Abstract)}, booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI} 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February 7-14, 2023}, pages = {16376--16377}, publisher = {{AAAI} Press}, year = {2023}, url = {https://doi.org/10.1609/aaai.v37i13.27048}, doi = {10.1609/AAAI.V37I13.27048}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/YeWXWJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {9th {IEEE} International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, {CAMSAP} 2023, Herradura, Costa Rica, December 10-13, 2023}, pages = {106--110}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/CAMSAP58249.2023.10403415}, doi = {10.1109/CAMSAP58249.2023.10403415}, timestamp = {Wed, 28 Feb 2024 00:17:42 +0100}, biburl = {https://dblp.org/rec/conf/camsap/LiuMSPHP23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cisis/BuhariM23, author = {Seyed M. Buhari and Jyothi Manoj}, editor = {Leonard Barolli}, title = {Solving University Course Scheduling with Varied Constraints Using Integer Linear Programming}, booktitle = {Complex, Intelligent and Software Intensive Systems - Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023), 5-7 July 2023, Toronto, ON, Canada}, series = {Lecture Notes on Data Engineering and Communications Technologies}, volume = {176}, pages = {80--91}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-35734-3\_9}, doi = {10.1007/978-3-031-35734-3\_9}, timestamp = {Tue, 20 Jun 2023 14:36:10 +0200}, biburl = {https://dblp.org/rec/conf/cisis/BuhariM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cocoa/SubramaniW23, author = {K. Subramani and Piotr Wojciechowski}, editor = {Weili Wu and Jianxiong Guo}, title = {Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in {UTVPI} Constraints}, booktitle = {Combinatorial Optimization and Applications - 17th International Conference, {COCOA} 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {14462}, pages = {377--389}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-49614-1\_28}, doi = {10.1007/978-3-031-49614-1\_28}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cocoa/SubramaniW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csonet/ZhouLQ23, author = {Guangwen Zhou and Bin Liu and Yuanyuan Qiang}, editor = {Minh Ho{\`{a}}ng H{\`{a}} and Xingquan Zhu and My T. Thai}, title = {Deletion-Robust Submodular Maximization Under the Cardinality Constraint over the Integer Lattice}, booktitle = {Computational Data and Social Networks - 12th International Conference, CSoNet 2023, Hanoi, Vietnam, December 11-13, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14479}, pages = {234--242}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-981-97-0669-3\_22}, doi = {10.1007/978-981-97-0669-3\_22}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csonet/ZhouLQ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {European Control Conference, {ECC} 2023, Bucharest, Romania, June 13-16, 2023}, pages = {1--6}, publisher = {{IEEE}}, year = {2023}, url = {https://ieeexplore.ieee.org/document/10178275}, timestamp = {Tue, 25 Jul 2023 13:04:39 +0200}, biburl = {https://dblp.org/rec/conf/eucc/Caregnato-NetoM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/HongA23, author = {Yuan Hong and Dirk Arnold}, editor = {Sara Silva and Lu{\'{\i}}s Paquete}, title = {Evolutionary Mixed-Integer Optimization with Explicit Constraints}, booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference, {GECCO} 2023, Lisbon, Portugal, July 15-19, 2023}, pages = {822--830}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3583131.3590467}, doi = {10.1145/3583131.3590467}, timestamp = {Mon, 01 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/HongA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Pablo Garc{\'{\i}}a Bringas and Hilde P{\'{e}}rez Garc{\'{\i}}a and Francisco Javier Mart{\'{\i}}nez de Pis{\'{o}}n and Francisco Mart{\'{\i}}nez{-}{\'{A}}lvarez and Alicia Troncoso Lora and {\'{A}}lvaro Herrero and Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle and H{\'{e}}ctor Quinti{\'{a}}n and Emilio Corchado}, title = {An Integer Linear Programming Model for Team Formation in the Classroom with Constraints}, booktitle = {Hybrid Artificial Intelligent Systems - 18th International Conference, {HAIS} 2023, Salamanca, Spain, September 5-7, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14001}, pages = {397--408}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-40725-3\_34}, doi = {10.1007/978-3-031-40725-3\_34}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hais/CandelSAJB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/JiaH00MZ23, author = {Fuqi Jia and Rui Han and Pei Huang and Minghao Liu and Feifei Ma and Jian Zhang}, editor = {Ren{\'{e}} Just and Gordon Fraser}, title = {Improving Bit-Blasting for Nonlinear Integer Constraints}, booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July 17-21, 2023}, pages = {14--25}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3597926.3598034}, doi = {10.1145/3597926.3598034}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/JiaH00MZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/HalderCA23, author = {Patrick Halder and Fabian Christ and Matthias Althoff}, title = {Lexicographic Mixed-Integer Motion Planning with {STL} Constraints}, booktitle = {25th {IEEE} International Conference on Intelligent Transportation Systems, {ITSC} 2022, Macau, China, October 8-12, 2022}, pages = {1361--1367}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ITSC57777.2023.10422619}, doi = {10.1109/ITSC57777.2023.10422619}, timestamp = {Thu, 22 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itsc/HalderCA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/Forsey-SmerekS023, author = {Alexandra Forsey{-}Smerek and Ho Chit Siu and Kevin Leahy}, editor = {Kristin Yvonne Rozier and Swarat Chaudhuri}, title = {Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming}, booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023, Houston, TX, USA, May 16-18, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13903}, pages = {191--206}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33170-1\_12}, doi = {10.1007/978-3-031-33170-1\_12}, timestamp = {Fri, 07 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nfm/Forsey-SmerekS023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2306.15002}, doi = {10.48550/ARXIV.2306.15002}, eprinttype = {arXiv}, eprint = {2306.15002}, timestamp = {Fri, 30 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-15002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2306.15590}, doi = {10.48550/ARXIV.2306.15590}, eprinttype = {arXiv}, eprint = {2306.15590}, timestamp = {Fri, 30 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-15590.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2306.17395}, doi = {10.48550/ARXIV.2306.17395}, eprinttype = {arXiv}, eprint = {2306.17395}, timestamp = {Mon, 03 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-17395.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2307.09342}, doi = {10.48550/ARXIV.2307.09342}, eprinttype = {arXiv}, eprint = {2307.09342}, timestamp = {Tue, 25 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-09342.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2308.13609}, doi = {10.48550/ARXIV.2308.13609}, eprinttype = {arXiv}, eprint = {2308.13609}, timestamp = {Thu, 04 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-13609.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2309.16279}, doi = {10.48550/ARXIV.2309.16279}, eprinttype = {arXiv}, eprint = {2309.16279}, timestamp = {Fri, 10 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2309-16279.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2311.08022}, doi = {10.48550/ARXIV.2311.08022}, eprinttype = {arXiv}, eprint = {2311.08022}, timestamp = {Tue, 21 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-08022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2312.08776}, doi = {10.48550/ARXIV.2312.08776}, eprinttype = {arXiv}, eprint = {2312.08776}, timestamp = {Mon, 08 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-08776.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.compeleceng.2022.107766}, doi = {10.1016/J.COMPELECENG.2022.107766}, timestamp = {Wed, 22 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cee/TanZZZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-022-09326-z}, doi = {10.1007/S10601-022-09326-Z}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/KoshimuraWSY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejcon.2022.100671}, doi = {10.1016/J.EJCON.2022.100671}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ejcon/Caregnato-NetoM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.2020.1039}, doi = {10.1287/IJOC.2020.1039}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/informs/MacNeilB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10898-022-01132-4}, doi = {10.1007/S10898-022-01132-4}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jgo/ZerfaC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.knosys.2022.109570}, doi = {10.1016/J.KNOSYS.2022.109570}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/kbs/Jimenez-Cordero22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s12351-020-00563-9}, doi = {10.1007/S12351-020-00563-9}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/or/OrnekOS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.orl.2022.04.007}, doi = {10.1016/J.ORL.2022.04.007}, timestamp = {Wed, 29 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/orl/SantisEP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.tcs.2022.09.028}, doi = {10.1016/J.TCS.2022.09.028}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/TanWYZZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022}, pages = {13037--13038}, publisher = {{AAAI} Press}, year = {2022}, url = {https://doi.org/10.1609/aaai.v36i11.21655}, doi = {10.1609/AAAI.V36I11.21655}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/RubinBSC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Ulrich-OlteanNW22, author = {Felix Ulrich{-}Oltean and Peter Nightingale and James Alfred Walker}, editor = {Christine Solnon}, title = {Selecting {SAT} Encodings for Pseudo-Boolean and Linear Integer Constraints}, booktitle = {28th International Conference on Principles and Practice of Constraint Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel}, series = {LIPIcs}, volume = {235}, pages = {38:1--38:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CP.2022.38}, doi = {10.4230/LIPICS.CP.2022.38}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Ulrich-OlteanNW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/degruyter/22/PiatkowskiF22-1, author = {Nico Piatkowski}, editor = {Katharina Morik and Peter Marwedel}, title = {Integer Exponential Families}, booktitle = {Machine Learning under Resource Constraints - Volume 1: Fundamentals}, series = {De Gruyter {STEM}}, pages = {406--422}, publisher = {De Gruyter}, year = {2022}, url = {https://doi.org/10.1515/9783110785944-009}, doi = {10.1515/9783110785944-009}, timestamp = {Fri, 28 Jul 2023 11:13:07 +0200}, biburl = {https://dblp.org/rec/books/degruyter/22/PiatkowskiF22-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2205.01088}, doi = {10.48550/ARXIV.2205.01088}, eprinttype = {arXiv}, eprint = {2205.01088}, timestamp = {Tue, 03 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-01088.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2206.00097}, doi = {10.48550/ARXIV.2206.00097}, eprinttype = {arXiv}, eprint = {2206.00097}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2206-00097.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2208.02713}, doi = {10.48550/ARXIV.2208.02713}, eprinttype = {arXiv}, eprint = {2208.02713}, timestamp = {Wed, 10 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-02713.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2211.11564}, doi = {10.48550/ARXIV.2211.11564}, eprinttype = {arXiv}, eprint = {2211.11564}, timestamp = {Thu, 24 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2211-11564.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.25560/88099}, doi = {10.25560/88099}, timestamp = {Mon, 22 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Mistry21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/ACCESS.2021.3066970}, doi = {10.1109/ACCESS.2021.3066970}, timestamp = {Thu, 29 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/ShahKW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1142/S0217595921400042}, doi = {10.1142/S0217595921400042}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apjor/ZhangGWXZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-020-09318-x}, doi = {10.1007/S10601-020-09318-X}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/DevriendtGN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.cor.2021.105421}, doi = {10.1016/J.COR.2021.105421}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cor/KarabulutAN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10732-019-09433-w}, doi = {10.1007/S10732-019-09433-W}, timestamp = {Tue, 25 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/heuristics/GuignardA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1111/itor.12740}, doi = {10.1111/ITOR.12740}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/itor/DeplanoLN21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10898-021-01014-1}, doi = {10.1007/S10898-021-01014-1}, timestamp = {Wed, 14 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jgo/ZhangDJW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10107-021-01656-9}, doi = {10.1007/S10107-021-01656-9}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mp/GottlichHPS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10107-020-01533-x}, doi = {10.1007/S10107-020-01533-X}, timestamp = {Thu, 29 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mp/ZeileRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1002/net.21983}, doi = {10.1002/NET.21983}, timestamp = {Thu, 31 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/networks/Hochbaum21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1051/ro/2020065}, doi = {10.1051/RO/2020065}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/rairo/DiasRMM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10951-021-00682-x}, doi = {10.1007/S10951-021-00682-X}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scheduling/HubnerGSV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1137/20M1346778}, doi = {10.1137/20M1346778}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamjo/BertsimasCP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1137/18M1208769}, doi = {10.1137/18M1208769}, timestamp = {Wed, 14 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamjo/DanLM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.swevo.2021.100896}, doi = {10.1016/J.SWEVO.2021.100896}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/swevo/PawlakO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TAC.2020.2999319}, doi = {10.1109/TAC.2020.2999319}, timestamp = {Wed, 07 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tac/RikosH21a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TCNS.2020.3024483}, doi = {10.1109/TCNS.2020.3024483}, timestamp = {Tue, 23 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcns/ChamanbazNSB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cocoa/TanWZZ21, author = {Jingjing Tan and Fengmin Wang and Xiaoqing Zhang and Yang Zhou}, editor = {Ding{-}Zhu Du and Donglei Du and Chenchen Wu and Dachuan Xu}, title = {Maximization of Monotone Non-submodular Functions with a Knapsack Constraint over the Integer Lattice}, booktitle = {Combinatorial Optimization and Applications - 15th International Conference, {COCOA} 2021, Tianjin, China, December 17-19, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13135}, pages = {364--373}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-92681-6\_29}, doi = {10.1007/978-3-030-92681-6\_29}, timestamp = {Tue, 04 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cocoa/TanWZZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csonet/TanXZZ21, author = {Jingjing Tan and Yicheng Xu and Dongmei Zhang and Xiaoqing Zhang}, editor = {David Mohaisen and Ruoming Jin}, title = {Maximizing the Sum of a Supermodular Function and a Monotone DR-submodular Function Subject to a Knapsack Constraint on the Integer Lattice}, booktitle = {Computational Data and Social Networks - 10th International Conference, CSoNet 2021, Virtual Event, November 15-17, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13116}, pages = {68--75}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-91434-9\_7}, doi = {10.1007/978-3-030-91434-9\_7}, timestamp = {Wed, 22 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csonet/TanXZZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gecco/BliekGVW21, author = {Laurens Bliek and Arthur Guijt and Sicco Verwer and Mathijs de Weerdt}, editor = {Krzysztof Krawiec}, title = {Black-box mixed-variable optimisation using a surrogate model that satisfies integer constraints}, booktitle = {{GECCO} '21: Genetic and Evolutionary Computation Conference, Companion Volume, Lille, France, July 10-14, 2021}, pages = {1851--1859}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3449726.3463136}, doi = {10.1145/3449726.3463136}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gecco/BliekGVW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/MengC21, author = {Tao Meng and Kai{-}Wei Chang}, editor = {Marina Meila and Tong Zhang}, title = {An Integer Linear Programming Framework for Mining Constraints from Data}, booktitle = {Proceedings of the 38th International Conference on Machine Learning, {ICML} 2021, 18-24 July 2021, Virtual Event}, series = {Proceedings of Machine Learning Research}, volume = {139}, pages = {7619--7631}, publisher = {{PMLR}}, year = {2021}, url = {http://proceedings.mlr.press/v139/meng21a.html}, timestamp = {Wed, 25 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icml/MengC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icml/PaulusRMAM21, author = {Anselm Paulus and Michal Rol{\'{\i}}nek and V{\'{\i}}t Musil and Brandon Amos and Georg Martius}, editor = {Marina Meila and Tong Zhang}, title = {CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints}, booktitle = {Proceedings of the 38th International Conference on Machine Learning, {ICML} 2021, 18-24 July 2021, Virtual Event}, series = {Proceedings of Machine Learning Research}, volume = {139}, pages = {8443--8453}, publisher = {{PMLR}}, year = {2021}, url = {http://proceedings.mlr.press/v139/paulus21a.html}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icml/PaulusRMAM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {33rd {IEEE} International Conference on Tools with Artificial Intelligence, {ICTAI} 2021, Washington, DC, USA, November 1-3, 2021}, pages = {604--608}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICTAI52525.2021.00096}, doi = {10.1109/ICTAI52525.2021.00096}, timestamp = {Tue, 28 Dec 2021 13:25:55 +0100}, biburl = {https://dblp.org/rec/conf/ictai/RubinBCS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/GeB21, author = {Cunjing Ge and Armin Biere}, editor = {Zhi{-}Hua Zhou}, title = {Decomposition Strategies to Count Integer Solutions over Linear Constraints}, booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021}, pages = {1389--1395}, publisher = {ijcai.org}, year = {2021}, url = {https://doi.org/10.24963/ijcai.2021/192}, doi = {10.24963/IJCAI.2021/192}, timestamp = {Wed, 25 Aug 2021 17:11:16 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/GeB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/HaaseM21, author = {Christoph Haase and Alessio Mansutti}, editor = {Filippo Bonchi and Simon J. Puglisi}, title = {On Deciding Linear Arithmetic Constraints Over p-adic Integers for All Primes}, booktitle = {46th International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia}, series = {LIPIcs}, volume = {202}, pages = {55:1--55:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.55}, doi = {10.4230/LIPICS.MFCS.2021.55}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/HaaseM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdcat/TanSXZ21, author = {Jingjing Tan and Yue Sun and Yicheng Xu and Juan Zou}, editor = {Hong Shen and Yingpeng Sang and Yong Zhang and Nong Xiao and Hamid R. Arabnia and Geoffrey C. Fox and Ajay Gupta and Manu Malek}, title = {Streaming Algorithms for Maximization of a Non-submodular Function with a Cardinality Constraint on the Integer Lattice}, booktitle = {Parallel and Distributed Computing, Applications and Technologies - 22nd International Conference, {PDCAT} 2021, Guangzhou, China, December 17-19, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13148}, pages = {460--465}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-96772-7\_42}, doi = {10.1007/978-3-030-96772-7\_42}, timestamp = {Thu, 16 Mar 2023 20:00:28 +0100}, biburl = {https://dblp.org/rec/conf/pdcat/TanSXZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2102.12574}, eprinttype = {arXiv}, eprint = {2102.12574}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-12574.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2103.11018}, eprinttype = {arXiv}, eprint = {2103.11018}, timestamp = {Wed, 24 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2103-11018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2105.02343}, eprinttype = {arXiv}, eprint = {2105.02343}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-02343.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2111.04469}, eprinttype = {arXiv}, eprint = {2111.04469}, timestamp = {Wed, 10 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-04469.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10472-020-09703-5}, doi = {10.1007/S10472-020-09703-5}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/SubramaniW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.cie.2020.106347}, doi = {10.1016/J.CIE.2020.106347}, timestamp = {Mon, 04 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/candie/MengZRZL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-019-09306-w}, doi = {10.1007/S10601-019-09306-W}, timestamp = {Fri, 18 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/GonzalezCLR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.cor.2020.105020}, doi = {10.1016/J.COR.2020.105020}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cor/LunardiBLRV20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.disopt.2020.100595}, doi = {10.1016/J.DISOPT.2020.100595}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/disopt/KarabulutAN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2019.09.032}, doi = {10.1016/J.EJOR.2019.09.032}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eor/Hartillo-Hermoso20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2020.02.021}, doi = {10.1016/J.EJOR.2020.02.021}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eor/QinDCS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1080/00207543.2019.1693654}, doi = {10.1080/00207543.2019.1693654}, timestamp = {Tue, 23 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijpr/Polo-MejiaALB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.2019.0918}, doi = {10.1287/IJOC.2019.0918}, timestamp = {Tue, 01 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/CooperHN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TAC.2019.2920812}, doi = {10.1109/TAC.2019.2920812}, timestamp = {Tue, 30 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tac/TestaRN20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.tcs.2020.01.017}, doi = {10.1016/J.TCS.2020.01.017}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/BredereckFNST20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1145/3397484}, doi = {10.1145/3397484}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toct/KnopPW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/trsc.2020.0991}, doi = {10.1287/TRSC.2020.0991}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/transci/KhassibaBCGM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amcc/GarifiB20, author = {Kaitlyn Garifi and Kyri Baker}, title = {Considering Integer Chance Constraints for Enforcing Flexible Line Flow Ratings}, booktitle = {2020 American Control Conference, {ACC} 2020, Denver, CO, USA, July 1-3, 2020}, pages = {3134--3139}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.23919/ACC45564.2020.9147669}, doi = {10.23919/ACC45564.2020.9147669}, timestamp = {Sun, 08 Aug 2021 01:40:57 +0200}, biburl = {https://dblp.org/rec/conf/amcc/GarifiB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Devriendt20, author = {Jo Devriendt}, editor = {Helmut Simonis}, title = {Watched Propagation of 0-1 Integer Linear Constraints}, booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12333}, pages = {160--176}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-58475-7\_10}, doi = {10.1007/978-3-030-58475-7\_10}, timestamp = {Sat, 19 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cp/Devriendt20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/paap/TanZZZ20, author = {Jingjing Tan and Dongmei Zhang and Hongyang Zhang and Zhenning Zhang}, editor = {Li Ning and Vincent Chau and Francis C. M. Lau}, title = {Streaming Algorithms for Monotone DR-Submodular Maximization Under a Knapsack Constraint on the Integer Lattice}, booktitle = {Parallel Architectures, Algorithms and Programming - 11th International Symposium, {PAAP} 2020, Shenzhen, China, December 28-30, 2020, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1362}, pages = {58--67}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-981-16-0010-4\_6}, doi = {10.1007/978-981-16-0010-4\_6}, timestamp = {Wed, 22 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/paap/TanZZZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/MolaviDSB20, author = {Abtin Molavi and Mara Downing and Tommy Schneider and Lucas Bang}, editor = {Prem Devanbu and Myra B. Cohen and Thomas Zimmermann}, title = {{MCBAT:} a practical tool for model counting constraints on bounded integer arrays}, booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020}, pages = {1596--1600}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3368089.3417937}, doi = {10.1145/3368089.3417937}, timestamp = {Sat, 19 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/MolaviDSB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/MolaviSDB20, author = {Abtin Molavi and Tommy Schneider and Mara Downing and Lucas Bang}, editor = {Maria Christakis and Nadia Polikarpova and Parasara Sridhar Duggirala and Peter Schrammel}, title = {{MCBAT:} Model Counting for Constraints over Bounded Integer Arrays}, booktitle = {Software Verification - 12th International Conference, {VSTTE} 2020, and 13th International Workshop, {NSV} 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12549}, pages = {124--143}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-63618-0\_8}, doi = {10.1007/978-3-030-63618-0\_8}, timestamp = {Sat, 19 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vstte/MolaviSDB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2006.04508}, eprinttype = {arXiv}, eprint = {2006.04508}, timestamp = {Fri, 12 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-04508.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2006.10836}, eprinttype = {arXiv}, eprint = {2006.10836}, timestamp = {Tue, 23 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-10836.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/ACCESS.2019.2912004}, doi = {10.1109/ACCESS.2019.2912004}, timestamp = {Thu, 03 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/LiuGLCGX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3390/a12120248}, doi = {10.3390/A12120248}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/algorithms/GanianO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1142/S1793830919500757}, doi = {10.1142/S1793830919500757}, timestamp = {Thu, 02 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dmaa/LaiNLHW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ins.2019.01.078}, doi = {10.1016/J.INS.2019.01.078}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isci/ZouariIBCA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.peva.2019.102035}, doi = {10.1016/J.PEVA.2019.102035}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pe/ZhengX19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/SubramaniW19, author = {K. Subramani and Piotr Wojciechowski}, editor = {Mario Alviano and Gianluigi Greco and Francesco Scarcello}, title = {A Graphical Analysis of Integer Infeasibility in {UTVPI} Constraints}, booktitle = {AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11946}, pages = {223--234}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-35166-3\_16}, doi = {10.1007/978-3-030-35166-3\_16}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiia/SubramaniW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alenex/JabrayilovM19, author = {Adalat Jabrayilov and Petra Mutzel}, editor = {Stephen G. Kobourov and Henning Meyerhenke}, title = {A new Integer Linear Program for the Steiner Tree Problem with Revenues, Budget and Hop Constraints}, booktitle = {Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments, {ALENEX} 2019, San Diego, CA, USA, January 7-8, 2019}, pages = {107--116}, publisher = {{SIAM}}, year = {2019}, url = {https://doi.org/10.1137/1.9781611975499.9}, doi = {10.1137/1.9781611975499.9}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alenex/JabrayilovM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/NicholasH19, author = {Paul J. Nicholas and Karla L. Hoffman}, editor = {Louis{-}Martin Rousseau and Kostas Stergiou}, title = {Efficient Solution Methods for the Cumulative-Interference Channel Assignment Problem Using Integer Optimization and Constraint Programming}, booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, {CPAIOR} 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11494}, pages = {443--460}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19212-9\_29}, doi = {10.1007/978-3-030-19212-9\_29}, timestamp = {Tue, 28 May 2019 13:07:45 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/NicholasH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {17th European Control Conference, {ECC} 2019, Naples, Italy, June 25-28, 2019}, pages = {77--82}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.23919/ECC.2019.8796116}, doi = {10.23919/ECC.2019.8796116}, timestamp = {Thu, 11 Feb 2021 14:14:57 +0100}, biburl = {https://dblp.org/rec/conf/eucc/CamisaN19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/GeMMZHZ19, author = {Cunjing Ge and Feifei Ma and Xutong Ma and Fan Zhang and Pei Huang and Jian Zhang}, editor = {Sarit Kraus}, title = {Approximating Integer Solution Counting via Space Quantification for Linear Constraints}, booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16, 2019}, pages = {1697--1703}, publisher = {ijcai.org}, year = {2019}, url = {https://doi.org/10.24963/ijcai.2019/235}, doi = {10.24963/IJCAI.2019/235}, timestamp = {Mon, 06 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/GeMMZHZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/or/GottlichHH19, author = {Simone G{\"{o}}ttlich and Kathinka Hameister and Michael Herty}, editor = {Janis S. Neufeld and Udo Buscher and Rainer Lasch and Dominik M{\"{o}}st and J{\"{o}}rn Sch{\"{o}}nberger}, title = {Convex Quadratic Mixed-Integer Problems with Quadratic Constraints}, booktitle = {Operations Research Proceedings 2019, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019}, pages = {123--129}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-48439-2\_15}, doi = {10.1007/978-3-030-48439-2\_15}, timestamp = {Mon, 28 Sep 2020 14:53:38 +0200}, biburl = {https://dblp.org/rec/conf/or/GottlichHH19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/KnopPW19, author = {Dusan Knop and Michal Pilipczuk and Marcin Wrochna}, editor = {Rolf Niedermeier and Christophe Paul}, title = {Tight Complexity Lower Bounds for Integer Linear Programming with Few Constraints}, booktitle = {36th International Symposium on Theoretical Aspects of Computer Science, {STACS} 2019, March 13-16, 2019, Berlin, Germany}, series = {LIPIcs}, volume = {126}, pages = {44:1--44:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2019}, url = {https://doi.org/10.4230/LIPIcs.STACS.2019.44}, doi = {10.4230/LIPICS.STACS.2019.44}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stacs/KnopPW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/KapusNC19, author = {Timotej Kapus and Martin Nowack and Cristian Cadar}, editor = {Dirk Beyer and Chantal Keller}, title = {Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?}, booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11823}, pages = {41--54}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-31157-5\_3}, doi = {10.1007/978-3-030-31157-5\_3}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tap/KapusNC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1903.02139}, eprinttype = {arXiv}, eprint = {1903.02139}, timestamp = {Sun, 31 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-02139.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1907.04062}, eprinttype = {arXiv}, eprint = {1907.04062}, timestamp = {Wed, 17 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-04062.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1907.04691}, eprinttype = {arXiv}, eprint = {1907.04691}, timestamp = {Wed, 17 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-04691.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1907.12468}, eprinttype = {arXiv}, eprint = {1907.12468}, timestamp = {Fri, 02 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1907-12468.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1910.12187}, eprinttype = {arXiv}, eprint = {1910.12187}, timestamp = {Wed, 25 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-12187.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1911.12567}, eprinttype = {arXiv}, eprint = {1911.12567}, timestamp = {Wed, 08 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-12567.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.asoc.2018.03.025}, doi = {10.1016/J.ASOC.2018.03.025}, timestamp = {Tue, 10 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/asc/KudlaP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.compchemeng.2018.09.011}, doi = {10.1016/J.COMPCHEMENG.2018.09.011}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cce/OgbeL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-018-9285-6}, doi = {10.1007/S10601-018-9285-6}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/FischettiJ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.endm.2018.07.008}, doi = {10.1016/J.ENDM.2018.07.008}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/endm/Lera-RomeroB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2017.10.014}, doi = {10.1016/J.EJOR.2017.10.014}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/KreterSSZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2017.08.033}, doi = {10.1016/J.EJOR.2017.08.033}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/PourDERB18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s00780-018-0369-3}, doi = {10.1007/S00780-018-0369-3}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fs/GerholdK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s00186-017-0618-9}, doi = {10.1007/S00186-017-0618-9}, timestamp = {Tue, 03 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mmor/AguadoT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s12532-018-0133-x}, doi = {10.1007/S12532-018-0133-X}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mpc/BonamiGL18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TEM.2017.2785774}, doi = {10.1109/TEM.2017.2785774}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tem/ZhangW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TSMC.2017.2681623}, doi = {10.1109/TSMC.2017.2681623}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/ShinBBHO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Proceedings of the 2018 Artificial Intelligence and Cloud Computing Conference, {AICCC} 2018, Tokyo, Japan, December 21-23, 2018}, pages = {145--150}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3299819.3299825}, doi = {10.1145/3299819.3299825}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiccc/HoYCLLCLC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {15th International Conference on Control, Automation, Robotics and Vision, {ICARCV} 2018, Singapore, November 18-21, 2018}, pages = {562--567}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICARCV.2018.8580636}, doi = {10.1109/ICARCV.2018.8580636}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icarcv/StoicanPPIV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdte/Charoenruengkit18, author = {Werayuth Charoenruengkit}, title = {Course Planning Optimization with Conditional Constraints using Integer Linear Programming}, booktitle = {Proceedings of the 2nd International Conference on Digital Technology in Education, {ICDTE} 2018, Bangkok, Thailand, October 10-12, 2018}, pages = {71--76}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3284497.3284506}, doi = {10.1145/3284497.3284506}, timestamp = {Wed, 01 Mar 2023 11:55:18 +0100}, biburl = {https://dblp.org/rec/conf/icdte/Charoenruengkit18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/or/FrischHJW18, author = {Sarah Frisch and Philipp Hungerl{\"{a}}nder and Anna Jellen and Dominic Weinberger}, editor = {Bernard Fortz and Martine Labb{\'{e}}}, title = {A Mixed Integer Linear Program for Optimizing the Utilization of Locomotives with Maintenance Constraints}, booktitle = {Operations Research Proceedings 2018, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Brussels, Belgium, September 12-14, 2018}, pages = {103--109}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-18500-8\_14}, doi = {10.1007/978-3-030-18500-8\_14}, timestamp = {Mon, 16 Sep 2019 13:45:40 +0200}, biburl = {https://dblp.org/rec/conf/or/FrischHJW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/18/RalphsSBK18, author = {Ted K. Ralphs and Yuji Shinano and Timo Berthold and Thorsten Koch}, editor = {Youssef Hamadi and Lakhdar Sais}, title = {Parallel Solvers for Mixed Integer Linear Optimization}, booktitle = {Handbook of Parallel Constraint Reasoning}, pages = {283--336}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-63516-3\_8}, doi = {10.1007/978-3-319-63516-3\_8}, timestamp = {Fri, 04 May 2018 16:08:20 +0200}, biburl = {https://dblp.org/rec/books/sp/18/RalphsSBK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1806.10697}, eprinttype = {arXiv}, eprint = {1806.10697}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1806-10697.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1810.05163}, eprinttype = {arXiv}, eprint = {1810.05163}, timestamp = {Tue, 30 Oct 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-05163.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1811.01296}, eprinttype = {arXiv}, eprint = {1811.01296}, timestamp = {Thu, 22 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-01296.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10100-016-0437-8}, doi = {10.1007/S10100-016-0437-8}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cejor/PferschyS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.cor.2017.01.016}, doi = {10.1016/J.COR.2017.01.016}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cor/RahimianAL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.disopt.2016.07.002}, doi = {10.1016/J.DISOPT.2016.07.002}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/disopt/VinelK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2016.12.040}, doi = {10.1016/J.EJOR.2016.12.040}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/Moeini17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2017.02.034}, doi = {10.1016/J.EJOR.2017.02.034}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/PawlakK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1587/transfun.E100.A.427}, doi = {10.1587/TRANSFUN.E100.A.427}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/Goto17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1504/IJMMNO.2017.10007754}, doi = {10.1504/IJMMNO.2017.10007754}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmno/FellahK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/int/Plick17, author = {Thomas A. Plick}, title = {A New Constraint on Perfect Cuboids}, journal = {Integers}, volume = {17}, pages = {A3}, year = {2017}, url = {http://math.colgate.edu/\&\#126;integers/r3/r3.Abstract.html}, timestamp = {Thu, 19 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/int/Plick17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10107-017-1117-8}, doi = {10.1007/S10107-017-1117-8}, timestamp = {Thu, 19 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mp/WangBB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.orl.2017.08.012}, doi = {10.1016/J.ORL.2017.08.012}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/orl/FischerP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TNET.2017.2746755}, doi = {10.1109/TNET.2017.2746755}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ton/CuiMYLLD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TPDS.2016.2615933}, doi = {10.1109/TPDS.2016.2615933}, timestamp = {Fri, 02 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tpds/0001TFC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1017/S1471068417000242}, doi = {10.1017/S1471068417000242}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/JanhunenKOSWS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017}, pages = {4570--4575}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/CDC.2017.8264334}, doi = {10.1109/CDC.2017.8264334}, timestamp = {Fri, 04 Mar 2022 13:29:55 +0100}, biburl = {https://dblp.org/rec/conf/cdc/RikosH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/HoeveT17, author = {Willem{-}Jan van Hoeve and Sridhar R. Tayur}, editor = {J. Christopher Beck}, title = {Integer and Constraint Programming for Batch Annealing Process Planning}, booktitle = {Principles and Practice of Constraint Programming - 23rd International Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10416}, pages = {431--439}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66158-2\_28}, doi = {10.1007/978-3-319-66158-2\_28}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/HoeveT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/VerwerZ17, author = {Sicco Verwer and Yingqian Zhang}, editor = {Domenico Salvagnin and Michele Lombardi}, title = {Learning Decision Trees with Flexible Constraints and Objectives Using Integer Optimization}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming - 14th International Conference, {CPAIOR} 2017, Padua, Italy, June 5-8, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10335}, pages = {94--103}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-59776-8\_8}, doi = {10.1007/978-3-319-59776-8\_8}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/VerwerZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/DvorakEGKO17, author = {Pavel Dvor{\'{a}}k and Eduard Eiben and Robert Ganian and Dusan Knop and Sebastian Ordyniak}, editor = {Carles Sierra}, title = {Solving Integer Linear Programs with a Small Number of Global Variables and Constraints}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {607--613}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/85}, doi = {10.24963/IJCAI.2017/85}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/DvorakEGKO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/JanhunenKOSSW17, author = {Tomi Janhunen and Roland Kaminski and Max Ostrowski and Torsten Schaub and Sebastian Schellhorn and Philipp Wanko}, editor = {Bart Bogaerts and Amelia Harrison}, title = {clingo goes Linear Constraints over Reals and Integers}, booktitle = {Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1868}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1868/p4.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:44 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenKOSSW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA, December 3-6, 2017}, pages = {2303--2314}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/WSC.2017.8247961}, doi = {10.1109/WSC.2017.8247961}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/wsc/CooperHN17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1706.06084}, eprinttype = {arXiv}, eprint = {1706.06084}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DvorakEGKO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1707.04053}, eprinttype = {arXiv}, eprint = {1707.04053}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JanhunenKOSSW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1709.02850}, eprinttype = {arXiv}, eprint = {1709.02850}, timestamp = {Fri, 09 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-02850.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1710.00328}, eprinttype = {arXiv}, eprint = {1710.00328}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-00328.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://amsdottorato.unibo.it/7612/}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/basesearch/Wiese16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10589-016-9847-8}, doi = {10.1007/S10589-016-9847-8}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/coap/BelottiBFLMNS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10589-015-9766-0}, doi = {10.1007/S10589-015-9766-0}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/coap/Kanno16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.cor.2015.10.016}, doi = {10.1016/J.COR.2015.10.016}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cor/AltinakarCH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10957-016-0902-5}, doi = {10.1007/S10957-016-0902-5}, timestamp = {Tue, 07 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jota/CalvoIL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/mnsc.2015.2282}, doi = {10.1287/MNSC.2015.2282}, timestamp = {Wed, 10 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mansci/Longarela16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s11590-016-1048-y}, doi = {10.1007/S11590-016-1048-Y}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ol/GribanovC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/LRA.2016.2522096}, doi = {10.1109/LRA.2016.2522096}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ral/BoothTNB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/RikosH16, author = {Apostolos I. Rikos and Christoforos N. Hadjicostis}, title = {Distributed integer weight balancing within interval constraints}, booktitle = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas, NV, USA, December 12-14, 2016}, pages = {1775--1780}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/CDC.2016.7798522}, doi = {10.1109/CDC.2016.7798522}, timestamp = {Fri, 04 Mar 2022 13:29:43 +0100}, biburl = {https://dblp.org/rec/conf/cdc/RikosH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/KuB16, author = {Wen{-}Yang Ku and J. Christopher Beck}, editor = {Michel Rueher}, title = {Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems}, booktitle = {Principles and Practice of Constraint Programming - 22nd International Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9892}, pages = {316--332}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-44953-1\_21}, doi = {10.1007/978-3-319-44953-1\_21}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/KuB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {2016 {IEEE} Global Conference on Signal and Information Processing, GlobalSIP 2016, Washington, DC, USA, December 7-9, 2016}, pages = {585--589}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/GlobalSIP.2016.7905909}, doi = {10.1109/GLOBALSIP.2016.7905909}, timestamp = {Fri, 15 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/globalsip/ChengHWL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icores/LaesanklangLC16, author = {Wasakorn Laesanklang and Dario Landa{-}Silva and Jos{\'{e}} Arturo Castillo Salazar}, editor = {Bego{\~{n}}a Vitoriano and Greg H. Parlier and Dominique de Werra}, title = {Mixed Integer Programming with Decomposition for Workforce Scheduling and Routing with Time-dependent Activities Constraints}, booktitle = {Proceedings of 5th the International Conference on Operations Research and Enterprise Systems {(ICORES} 2016), Rome, Italy, February 23-25, 2016}, pages = {330--339}, publisher = {SciTePress}, year = {2016}, url = {https://doi.org/10.5220/0005757503300339}, doi = {10.5220/0005757503300339}, timestamp = {Mon, 16 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icores/LaesanklangLC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isaim/Winkler16, author = {Michael Winkler}, title = {Solving Non-Linear Pseudo-Boolean Optimization Problems by Constraint Integer Programming}, booktitle = {International Symposium on Artificial Intelligence and Mathematics, {ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016}, year = {2016}, url = {https://isaim2016.cs.ou.edu/papers/ISAIM2016\_CPOR\_Winkler.pdf}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isaim/Winkler16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwoca/SubramaniW16, author = {K. Subramani and Piotr Wojciechowski}, editor = {Veli M{\"{a}}kinen and Simon J. Puglisi and Leena Salmela}, title = {A Bit-Scaling Algorithm for Integer Feasibility in {UTVPI} Constraints}, booktitle = {Combinatorial Algorithms - 27th International Workshop, {IWOCA} 2016, Helsinki, Finland, August 17-19, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9843}, pages = {321--333}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-44543-4\_25}, doi = {10.1007/978-3-319-44543-4\_25}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwoca/SubramaniW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/milcom/NicholasH16, author = {Paul J. Nicholas and Karla L. Hoffman}, editor = {Jerry Brand and Matthew C. Valenti and Akinwale Akinpelu and Bharat T. Doshi and Bonnie L. Gorsic}, title = {Optimal channel assignment for military {MANET} using integer optimization and constraint programming}, booktitle = {2016 {IEEE} Military Communications Conference, {MILCOM} 2016, Baltimore, MD, USA, November 1-3, 2016}, pages = {1114--1120}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/MILCOM.2016.7795479}, doi = {10.1109/MILCOM.2016.7795479}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/milcom/NicholasH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {2016 {IEEE} International Conference on Smart Grid Communications, SmartGridComm 2016, Sydney, Australia, November 6-9, 2016}, pages = {656--661}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/SmartGridComm.2016.7778836}, doi = {10.1109/SMARTGRIDCOMM.2016.7778836}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/smartgridcomm/GuoLC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/walcom/SubramaniW16, author = {K. Subramani and Piotr Wojciechowski}, editor = {Mohammad Kaykobad and Rossella Petreschi}, title = {An Optimal Algorithm for Computing the Integer Closure of {UTVPI} Constraints}, booktitle = {{WALCOM:} Algorithms and Computation - 10th International Workshop, {WALCOM} 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9627}, pages = {154--165}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30139-6\_13}, doi = {10.1007/978-3-319-30139-6\_13}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/walcom/SubramaniW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://ci.nii.ac.jp/naid/500000943358}, doi = {10.14989/DOCTOR.K19112}, timestamp = {Wed, 31 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/jp/Lu15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3103/S0146411615070196}, doi = {10.3103/S0146411615070196}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/accs/Smirnov15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.cie.2015.06.006}, doi = {10.1016/J.CIE.2015.06.006}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/candie/ManziniACFM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.csda.2015.06.003}, doi = {10.1016/J.CSDA.2015.06.003}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csda/FriedrichMV015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.disopt.2014.11.003}, doi = {10.1016/J.DISOPT.2014.11.003}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/disopt/TrappP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2015.06.008}, doi = {10.1016/J.EJOR.2015.06.008}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eor/WangMD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10898-014-0263-2}, doi = {10.1007/S10898-014-0263-2}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jgo/LiuG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.media.2015.03.008}, doi = {10.1016/J.MEDIA.2015.03.008}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mia/RempflerSIXSKSA15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10107-014-0775-z}, doi = {10.1007/S10107-014-0775-Z}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mp/AwateCGT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1002/net.21635}, doi = {10.1002/NET.21635}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/networks/KucharzakWKBK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.orl.2015.05.001}, doi = {10.1016/J.ORL.2015.05.001}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/orl/BuchheimSP15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcai/Nieuwenhuis15, author = {Robert Nieuwenhuis}, editor = {Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov}, title = {SAT-Based Techniques for Integer Linear Constraints}, booktitle = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi, Georgia, October 16-19, 2015}, series = {EPiC Series in Computing}, volume = {36}, pages = {1--13}, publisher = {EasyChair}, year = {2015}, url = {https://doi.org/10.29007/4dtv}, doi = {10.29007/4DTV}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcai/Nieuwenhuis15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {2015 {IEEE} Global Communications Conference, {GLOBECOM} 2015, San Diego, CA, USA, December 6-10, 2015}, pages = {1--7}, publisher = {{IEEE}}, year = {2015}, url = {https://doi.org/10.1109/GLOCOM.2014.7417662}, doi = {10.1109/GLOCOM.2014.7417662}, timestamp = {Wed, 16 Oct 2019 14:14:51 +0200}, biburl = {https://dblp.org/rec/conf/globecom/CuiMPYLD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BodirskyMM15, author = {Manuel Bodirsky and Barnaby Martin and Antoine Mottet}, editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann}, title = {Constraint Satisfaction Problems over the Integers with Successor}, booktitle = {Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9134}, pages = {256--267}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-47672-7\_21}, doi = {10.1007/978-3-662-47672-7\_21}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BodirskyMM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {{XXV} International Conference on Information, Communication and Automation Technologies, {ICAT} 2015, Sarajevo, Bosnia and Herzegovina, October 29-31, 2015}, pages = {1--6}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICAT.2015.7340525}, doi = {10.1109/ICAT.2015.7340525}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icatech/RibicTM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1501.00014}, eprinttype = {arXiv}, eprint = {1501.00014}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ContH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1502.06321}, eprinttype = {arXiv}, eprint = {1502.06321}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CuiMYLD15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3103/S0146411614070293}, doi = {10.3103/S0146411614070293}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/accs/Smirnov14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.cor.2014.03.026}, doi = {10.1016/J.COR.2014.03.026}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cor/Shen14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s13675-014-0024-5}, doi = {10.1007/S13675-014-0024-5}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ejco/ZhangRBA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2013.10.052}, doi = {10.1016/J.EJOR.2013.10.052}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/Detienne14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2013.09.001}, doi = {10.1016/J.EJOR.2013.09.001}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eor/ZhangR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/LCOMM.2014.2354392}, doi = {10.1109/LCOMM.2014.2354392}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/icl/ShimKS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10957-013-0482-6}, doi = {10.1007/S10957-013-0482-6}, timestamp = {Tue, 07 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jota/AfonsoG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s11590-013-0642-5}, doi = {10.1007/S11590-013-0642-5}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ol/Branda14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Polina Golland and Nobuhiko Hata and Christian Barillot and Joachim Hornegger and Robert D. Howe}, title = {Extracting Vascular Networks under Physiological Constraints via Integer Programming}, booktitle = {Medical Image Computing and Computer-Assisted Intervention - {MICCAI} 2014 - 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {8674}, pages = {505--512}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10470-6\_63}, doi = {10.1007/978-3-319-10470-6\_63}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/miccai/RempflerSIXSKSAM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1401.3852}, eprinttype = {arXiv}, eprint = {1401.3852}, timestamp = {Mon, 18 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GrecoMPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1401.5512}, eprinttype = {arXiv}, eprint = {1401.5512}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ImpagliazzoLPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1405.6851}, eprinttype = {arXiv}, eprint = {1405.6851}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Ueno14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://eccc.weizmann.ac.il/report/2014/024}, eprinttype = {ECCC}, eprint = {TR14-024}, timestamp = {Tue, 27 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eccc/ImpagliazzoLPS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10288-012-0199-7}, doi = {10.1007/S10288-012-0199-7}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/4or/Coniglio13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.artint.2012.10.001}, doi = {10.1016/J.ARTINT.2012.10.001}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ai/JonssonL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.amc.2013.03.002}, doi = {10.1016/J.AMC.2013.03.002}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amc/MavrotasF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1093/bioinformatics/btt211}, doi = {10.1093/BIOINFORMATICS/BTT211}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bioinformatics/WangX13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1504/IJDMB.2013.053306}, doi = {10.1504/IJDMB.2013.053306}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijdmb/ChenATC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.1120.0520}, doi = {10.1287/IJOC.1120.0520}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/KumarYC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://math.colgate.edu/\&\#126;integers/n44/n44.Abstract.html}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/int/BocaHS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://math.colgate.edu/\&\#126;integers/n3/n3.Abstract.html}, timestamp = {Wed, 20 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/int/StanicaSGMK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.12720/jcm.8.1.66-72}, doi = {10.12720/JCM.8.1.66-72}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcm/ZhuZZ13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TSG.2013.2257893}, doi = {10.1109/TSG.2013.2257893}, timestamp = {Wed, 25 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsg/KimG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/HeinzKB13, author = {Stefan Heinz and Wen{-}Yang Ku and J. Christopher Beck}, editor = {Carla P. Gomes and Meinolf Sellmann}, title = {Recent Improvements Using Constraint Integer Programming for Resource Allocation and Scheduling}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7874}, pages = {12--27}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38171-3\_2}, doi = {10.1007/978-3-642-38171-3\_2}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/HeinzKB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/SchichlNMD13, author = {Hermann Schichl and Arnold Neumaier and Mih{\'{a}}ly Csaba Mark{\'{o}}t and Ferenc Domes}, editor = {Carla P. Gomes and Meinolf Sellmann}, title = {On Solving Mixed-Integer Constraint Satisfaction Problems with Unbounded Variables}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7874}, pages = {216--233}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38171-3\_15}, doi = {10.1007/978-3-642-38171-3\_15}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cpaior/SchichlNMD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/ZhangRBA13, author = {Peter Y. Zhang and David A. Romero and J. Christopher Beck and Cristina H. Amon}, editor = {Carla P. Gomes and Meinolf Sellmann}, title = {Solving Wind Farm Layout Optimization with Mixed Integer Programming and Constraint Programming}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 10th International Conference, {CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7874}, pages = {284--299}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38171-3\_19}, doi = {10.1007/978-3-642-38171-3\_19}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/ZhangRBA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Ben-AmramG13, author = {Amir M. Ben{-}Amram and Samir Genaim}, editor = {Roberto Giacobazzi and Radhia Cousot}, title = {On the linear ranking problem for integer linear-constraint loops}, booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013}, pages = {51--62}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2429069.2429078}, doi = {10.1145/2429069.2429078}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Ben-AmramG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/socs/CalliessR13, author = {Jan{-}P. Calliess and Stephen J. Roberts}, editor = {Malte Helmert and Gabriele R{\"{o}}ger}, title = {Multi-Agent Planning with Mixed-Integer Programming and Adaptive Interaction Constraint Generation (Extended Abstract)}, booktitle = {Proceedings of the Sixth Annual Symposium on Combinatorial Search, {SOCS} 2013, Leavenworth, Washington, USA, July 11-13, 2013}, pages = {207--208}, publisher = {{AAAI} Press}, year = {2013}, url = {https://doi.org/10.1609/socs.v4i1.18304}, doi = {10.1609/SOCS.V4I1.18304}, timestamp = {Mon, 18 Dec 2023 04:11:03 +0100}, biburl = {https://dblp.org/rec/conf/socs/CalliessR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wea/BuchheimT13, author = {Christoph Buchheim and Long Trieu}, editor = {Vincenzo Bonifaci and Camil Demetrescu and Alberto Marchetti{-}Spaccamela}, title = {Quadratic Outer Approximation for Convex Integer Programming with Box Constraints}, booktitle = {Experimental Algorithms, 12th International Symposium, {SEA} 2013, Rome, Italy, June 5-7, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7933}, pages = {224--235}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38527-8\_21}, doi = {10.1007/978-3-642-38527-8\_21}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/wea/BuchheimT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Winter Simulations Conference: Simulation Making Decisions in a Complex World, {WSC} 2013, Washington, DC, USA, December 8-11, 2013}, pages = {846--855}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/WSC.2013.6721476}, doi = {10.1109/WSC.2013.6721476}, timestamp = {Thu, 10 Jun 2021 22:18:53 +0200}, biburl = {https://dblp.org/rec/conf/wsc/NagarajP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1308.1975}, eprinttype = {arXiv}, eprint = {1308.1975}, timestamp = {Tue, 29 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/WangX13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://eprints.nottingham.ac.uk/14208/}, timestamp = {Tue, 05 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/He12b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10589-011-9424-0}, doi = {10.1007/S10589-011-9424-0}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/coap/HijaziBCO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.orl.2012.01.002}, doi = {10.1016/J.ORL.2012.01.002}, timestamp = {Thu, 08 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/orl/Branda12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.orl.2012.01.007}, doi = {10.1016/J.ORL.2012.01.007}, timestamp = {Mon, 01 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/orl/VielmaAN12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1208.4041}, eprinttype = {arXiv}, eprint = {1208.4041}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1208-4041.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10514-011-9247-y}, doi = {10.1007/S10514-011-9247-Y}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/arobots/ThunbergO11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-009-9083-2}, doi = {10.1007/S10601-009-9083-2}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/constraints/CoteGQR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.2168/LMCS-7(3:4)2011}, doi = {10.2168/LMCS-7(3:4)2011}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1105-6317.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10107-009-0270-0}, doi = {10.1007/S10107-009-0270-0}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mp/GollmerGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1137/090778286}, doi = {10.1137/090778286}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamjo/GuerraNL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.tcs.2011.09.018}, doi = {10.1016/J.TCS.2011.09.018}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KulikSSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1017/S1471068411000147}, doi = {10.1017/S1471068411000147}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/CodishGBFG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/SubramaniW11, author = {K. Subramani and James Worthington}, editor = {Tobias Achterberg and J. Christopher Beck}, title = {A New Algorithm for Linear and Integer Feasibility in Horn Constraints}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems - 8th International Conference, {CPAIOR} 2011, Berlin, Germany, May 23-27, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6697}, pages = {215--229}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21311-3\_21}, doi = {10.1007/978-3-642-21311-3\_21}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cpaior/SubramaniW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {The 24th {IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR} 2011, Colorado Springs, CO, USA, 20-25 June 2011}, pages = {73--80}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/CVPR.2011.5995700}, doi = {10.1109/CVPR.2011.5995700}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cvpr/SmithFL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/frocos/BruttomessoGR11, author = {Roberto Bruttomesso and Silvio Ghilardi and Silvio Ranise}, editor = {Cesare Tinelli and Viorica Sofronie{-}Stokkermans}, title = {A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints}, booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6989}, pages = {103--118}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24364-6\_8}, doi = {10.1007/978-3-642-24364-6\_8}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/frocos/BruttomessoGR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/waoa/GoetzmannST11, author = {Kai{-}Simon Goetzmann and Sebastian Stiller and Claudio Telha}, editor = {Roberto Solis{-}Oba and Giuseppe Persiano}, title = {Optimization over Integers with Robustness in Cost and Few Constraints}, booktitle = {Approximation and Online Algorithms - 9th International Workshop, {WAOA} 2011, Saarbr{\"{u}}cken, Germany, September 8-9, 2011, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7164}, pages = {89--101}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-29116-6\_8}, doi = {10.1007/978-3-642-29116-6\_8}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/waoa/GoetzmannST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1107.5980}, eprinttype = {arXiv}, eprint = {1107.5980}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1107-5980.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://repositorio.utfpr.edu.br/jspui/handle/1/86}, timestamp = {Sat, 12 Aug 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ndltd/Magatao10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10479-009-0670-9}, doi = {10.1007/S10479-009-0670-9}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/anor/BeraldiB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10479-010-0748-4}, doi = {10.1007/S10479-010-0748-4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/RieckZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-009-9070-7}, doi = {10.1007/S10601-009-9070-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/MarinescuD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.dam.2010.06.010}, doi = {10.1016/J.DAM.2010.06.010}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/Wright10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.endm.2010.05.146}, doi = {10.1016/J.ENDM.2010.05.146}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/endm/HijaziBCO10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1613/jair.3060}, doi = {10.1613/JAIR.3060}, timestamp = {Mon, 18 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jair/GrecoMPS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10898-009-9469-0}, doi = {10.1007/S10898-009-9469-0}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jgo/GaoR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10898-009-9443-x}, doi = {10.1007/S10898-009-9443-X}, timestamp = {Fri, 11 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jgo/Obuchowska10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10107-008-0247-4}, doi = {10.1007/S10107-008-0247-4}, timestamp = {Mon, 01 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mp/LuedtkeAN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1137/090764402}, doi = {10.1137/090764402}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamjo/BuchheimMW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bibm/ChenATC10, author = {Xi Chen and Tatsuya Akutsu and Takeyuki Tamura and Wai{-}Ki Ching}, editor = {Taesung Park and Stephen Kwok{-}Wing Tsui and Luonan Chen and Michael K. Ng and Limsoon Wong and Xiaohua Hu}, title = {Finding optimal control policy in Probabilistic Boolean Networks with hard constraints by using integer programming and dynamic programming}, booktitle = {2010 {IEEE} International Conference on Bioinformatics and Biomedicine, {BIBM} 2010, Hong Kong, China, December 18-21, 2010, Proceedings}, pages = {240--246}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/BIBM.2010.5706570}, doi = {10.1109/BIBM.2010.5706570}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bibm/ChenATC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Andrea Lodi and Michela Milano and Paolo Toth}, title = {A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, {CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6140}, pages = {313--317}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13520-0\_34}, doi = {10.1007/978-3-642-13520-0\_34}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/BertholdHLMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/Moss10, author = {Anna Moss}, editor = {Andrea Lodi and Michela Milano and Paolo Toth}, title = {Constraint Programming with Arbitrarily Large Integer Variables}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, {CPAIOR} 2010, Bologna, Italy, June 14-18, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6140}, pages = {252--266}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13520-0\_28}, doi = {10.1007/978-3-642-13520-0\_28}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/Moss10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} 2010, 18th {IEEE} International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27 - October 1, 2010}, pages = {243--251}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/RE.2010.36}, doi = {10.1109/RE.2010.36}, timestamp = {Fri, 10 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/SalinesiMDD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BersaniCFPR10, author = {Marcello M. Bersani and Luca Cavallaro and Achille Frigeri and Matteo Pradella and Matteo Rossi}, editor = {Jos{\'{e}} Luiz Fiadeiro and Stefania Gnesi and Andrea Maggiolo{-}Schettini}, title = {SMT-based Verification of {LTL} Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability}, booktitle = {8th {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010}, pages = {244--254}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/SEFM.2010.37}, doi = {10.1109/SEFM.2010.37}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sefm/BersaniCFPR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1004.2873}, eprinttype = {arXiv}, eprint = {1004.2873}, timestamp = {Mon, 17 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-2873.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10287-006-0035-7}, doi = {10.1007/S10287-006-0035-7}, timestamp = {Sun, 10 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cms/EscuderoGMP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-008-9049-9}, doi = {10.1007/S10601-008-9049-9}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/FeydyS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/opre.1080.0599}, doi = {10.1287/OPRE.1080.0599}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/BonamiL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/moor.1080.0370}, doi = {10.1287/MOOR.1080.0370}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mor/BorozanC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10107-008-0221-1}, doi = {10.1007/S10107-008-0221-1}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mp/CornuejolsM09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s12532-008-0001-1}, doi = {10.1007/S12532-008-0001-1}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mpc/Achterberg09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KitchenK09, author = {Nathan Kitchen and Andreas Kuehlmann}, editor = {Ahmed Bouajjani and Oded Maler}, title = {A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, pages = {446--461}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02658-4\_34}, doi = {10.1007/978-3-642-02658-4\_34}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/KitchenK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/colognetwente/Schultz09, author = {R{\"{u}}diger Schultz}, editor = {Sonia Cafieri and Antonio Mucherino and Giacomo Nannicini and Fabien Tarissan and Leo Liberti}, title = {Decomposition Methods for Stochastic Integer Programs with Dominance Constraints}, booktitle = {Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, {CTW} 2009, Paris, France, June 2-4 2009}, pages = {137--139}, year = {2009}, url = {http://www.lix.polytechnique.fr/ctw09/ctw09-proceedings.pdf\#page=149}, timestamp = {Thu, 12 Mar 2020 11:34:41 +0100}, biburl = {https://dblp.org/rec/conf/colognetwente/Schultz09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/Acuna-AgostMFG09, author = {Rodrigo Acuna{-}Agost and Philippe Michelon and Dominique Feillet and Serigne Gueye}, editor = {Willem Jan van Hoeve and John N. Hooker}, title = {Constraint Programming and Mixed Integer Linear Programming for Rescheduling Trains under Disrupted Operations}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5547}, pages = {312--313}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01929-6\_24}, doi = {10.1007/978-3-642-01929-6\_24}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/Acuna-AgostMFG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/MouretGP09, author = {Sylvain Mouret and Ignacio E. Grossmann and Pierre Pestiaux}, editor = {Willem Jan van Hoeve and John N. Hooker}, title = {Tightening the Linear Relaxation of a Mixed Integer Nonlinear Program Using Constraint Programming}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, {CPAIOR} 2009, Pittsburgh, PA, USA, May 27-31, 2009, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5547}, pages = {208--222}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01929-6\_16}, doi = {10.1007/978-3-642-01929-6\_16}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/MouretGP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fcs/PhamSC09, author = {Huy Nguyen Anh Pham and Arthur M. D. Shr and Peter P. Chen}, editor = {Hamid R. Arabnia and George A. Gravvanis}, title = {A Quadratic Integer Programming Framework for Dedicated Machine Constraint}, booktitle = {Proceedings of the 2009 International Conference on Foundations of Computer Science, {FCS} 2009, July 13-16, 2009, Las Vegas, Nevada, {USA}}, pages = {155--161}, publisher = {{CSREA} Press}, year = {2009}, timestamp = {Wed, 08 Dec 2010 08:03:53 +0100}, biburl = {https://dblp.org/rec/conf/fcs/PhamSC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Li09, author = {Chendong Li}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {530--531}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_49}, doi = {10.1007/978-3-642-02846-5\_49}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Li09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sara/Revesz09, author = {Peter Z. Revesz}, editor = {Vadim Bulitko and J. Christopher Beck}, title = {Tightened Transitive Closure of Integer Addition Constraints}, booktitle = {Eighth Symposium on Abstraction, Reformulation, and Approximation, {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009}, publisher = {{AAAI}}, year = {2009}, url = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/833}, timestamp = {Tue, 08 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sara/Revesz09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/BresolinGMS09, author = {Davide Bresolin and Valentin Goranko and Angelo Montanari and Guido Sciavicco}, editor = {Dang Van Hung and Padmanabhan Krishnan}, title = {Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths}, booktitle = {Seventh {IEEE} International Conference on Software Engineering and Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009}, pages = {240--249}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SEFM.2009.36}, doi = {10.1109/SEFM.2009.36}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sefm/BresolinGMS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/opt/AggounMV09, author = {Abderrahmane Aggoun and Christos T. Maravelias and Alkis Vazacopoulos}, editor = {Christodoulos A. Floudas and Panos M. Pardalos}, title = {Mixed Integer Programming/Constraint Programming Hybrid Methods}, booktitle = {Encyclopedia of Optimization, Second Edition}, pages = {2270--2276}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-74759-0\_396}, doi = {10.1007/978-0-387-74759-0\_396}, timestamp = {Wed, 12 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/reference/opt/AggounMV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ipl.2007.08.024}, doi = {10.1016/J.IPL.2007.08.024}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/BlaserHM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1137/060678051}, doi = {10.1137/060678051}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamjo/GollmerNS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ACISicis/PhamSC08, author = {Huy Nguyen Anh Pham and Arthur M. D. Shr and Peter P. Chen}, editor = {Roger Y. Lee}, title = {An Integer Linear Programming Approach for Dedicated Machine Constraint}, booktitle = {7th {IEEE/ACIS} International Conference on Computer and Information Science, {IEEE/ACIS} {ICIS} 2008, 14-16 May 2008, Portland, Oregon, {USA}}, pages = {69--74}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICIS.2008.48}, doi = {10.1109/ICIS.2008.48}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ACISicis/PhamSC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/AchterbergBKW08, author = {Tobias Achterberg and Timo Berthold and Thorsten Koch and Kati Wolter}, editor = {Laurent Perron and Michael A. Trick}, title = {Constraint Integer Programming: {A} New Approach to Integrate {CP} and {MIP}}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, {CPAIOR} 2008, Paris, France, May 20-23, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5015}, pages = {6--20}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68155-7\_4}, doi = {10.1007/978-3-540-68155-7\_4}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/AchterbergBKW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {20th {IEEE} International Conference on Tools with Artificial Intelligence {(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1}, pages = {499--506}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICTAI.2008.85}, doi = {10.1109/ICTAI.2008.85}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictai/PhamSCL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwcia/CharrierB08, author = {Emilie Charrier and Lilian Buzer}, editor = {Valentin E. Brimkov and Reneta P. Barneva and Herbert A. Hauptman}, title = {Reducing the Coefficients of a Two-Dimensional Integer Linear Constraint}, booktitle = {Combinatorial Image Analysis, 12th International Workshop, {IWCIA} 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4958}, pages = {205--216}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78275-9\_18}, doi = {10.1007/978-3-540-78275-9\_18}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/iwcia/CharrierB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/latin/CornuejolsM08, author = {G{\'{e}}rard Cornu{\'{e}}jols and Fran{\c{c}}ois Margot}, editor = {Eduardo Sany Laber and Claudson F. Bornstein and Loana Tito Nogueira and Lu{\'{e}}rbio Faria}, title = {On the Facets of Mixed Integer Programs with Two Integer Variables and Two Constraints}, booktitle = {{LATIN} 2008: Theoretical Informatics, 8th Latin American Symposium, B{\'{u}}zios, Brazil, April 7-11, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4957}, pages = {317--328}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78773-0\_28}, doi = {10.1007/978-3-540-78773-0\_28}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/latin/CornuejolsM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BaumgartnerFT08, author = {Peter Baumgartner and Alexander Fuchs and Cesare Tinelli}, editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov}, title = {{(LIA)} - Model Evolution with Linear Integer Arithmetic Constraints}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, {LPAR} 2008, Doha, Qatar, November 22-27, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5330}, pages = {258--273}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89439-1\_19}, doi = {10.1007/978-3-540-89439-1\_19}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BaumgartnerFT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Rummer08, author = {Philipp R{\"{u}}mmer}, editor = {Iliano Cervesato and Helmut Veith and Andrei Voronkov}, title = {A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, {LPAR} 2008, Doha, Qatar, November 22-27, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5330}, pages = {274--289}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89439-1\_20}, doi = {10.1007/978-3-540-89439-1\_20}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Rummer08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/swat/BodlaenderTDL08, author = {Hans L. Bodlaender and Richard B. Tan and Thomas C. van Dijk and Jan van Leeuwen}, editor = {Joachim Gudmundsson}, title = {Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint}, booktitle = {Algorithm Theory - {SWAT} 2008, 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5124}, pages = {102--113}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-69903-3\_11}, doi = {10.1007/978-3-540-69903-3\_11}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/swat/BodlaenderTDL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tal/ParmentierM08, author = {Yannick Parmentier and Wolfgang Maier}, editor = {Bengt Nordstr{\"{o}}m and Aarne Ranta}, title = {Using Constraints over Finite Sets of Integers for Range Concatenation Grammar Parsing}, booktitle = {Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5221}, pages = {360--365}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85287-2\_34}, doi = {10.1007/978-3-540-85287-2\_34}, timestamp = {Fri, 14 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tal/ParmentierM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/BagnaraHZ08, author = {Roberto Bagnara and Patricia M. Hill and Enea Zaffanella}, editor = {Francesco Logozzo and Doron A. Peled and Lenore D. Zuck}, title = {An Improved Tight Closure Algorithm for Integer Octagonal Constraints}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4905}, pages = {8--21}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78163-9\_6}, doi = {10.1007/978-3-540-78163-9\_6}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/BagnaraHZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {10th {IEEE} International Conference on E-Commerce Technology {(CEC} 2008) / 5th {IEEE} International Conference on Enterprise Computing, E-Commerce and E-Services {(EEE} 2008), July 21-14, 2008, Washington, DC, {USA}}, pages = {347--350}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/CECandEEE.2008.144}, doi = {10.1109/CECANDEEE.2008.144}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wecwis/YooKLO08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/de/Achterberg2007, author = {Tobias Achterberg}, title = {Constraint integer programming}, school = {Berlin Institute of Technology}, year = {2007}, url = {http://opus.kobv.de/tuberlin/volltexte/2007/1611/}, urn = {urn:nbn:de:kobv:83-opus-16117}, isbn = {978-3-89963-892-9}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/de/Achterberg2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10601-007-9017-9}, doi = {10.1007/S10601-007-9017-9}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/AptZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.vlsi.2006.01.001}, doi = {10.1016/J.VLSI.2006.01.001}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/integration/SrinivasanC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1111/j.1475-3995.2007.00577.x}, doi = {10.1111/J.1475-3995.2007.00577.X}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/itor/Mak07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10107-006-0009-0}, doi = {10.1007/S10107-006-0009-0}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mp/PatelC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeckerDEK07, author = {Bernd Becker and Christian Dax and Jochen Eisinger and Felix Klaedtke}, editor = {Werner Damm and Holger Hermanns}, title = {{LIRA:} Handling Constraints of Linear Arithmetics over the Integers and the Reals}, booktitle = {Computer Aided Verification, 19th International Conference, {CAV} 2007, Berlin, Germany, July 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4590}, pages = {307--310}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73368-3\_36}, doi = {10.1007/978-3-540-73368-3\_36}, timestamp = {Sat, 30 Sep 2023 09:35:55 +0200}, biburl = {https://dblp.org/rec/conf/cav/BeckerDEK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/CoteGR07, author = {Marie{-}Claude C{\^{o}}t{\'{e}} and Bernard Gendron and Louis{-}Martin Rousseau}, editor = {Pascal Van Hentenryck and Laurence A. Wolsey}, title = {Modeling the Regular Constraint with Integer Programming}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, {CPAIOR} 2007, Brussels, Belgium, May 23-26, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4510}, pages = {29--43}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72397-4\_3}, doi = {10.1007/978-3-540-72397-4\_3}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/CoteGR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipco/CunninghamG07, author = {William H. Cunningham and Jim Geelen}, editor = {Matteo Fischetti and David P. Williamson}, title = {On Integer Programming and the Branch-Width of the Constraint Matrix}, booktitle = {Integer Programming and Combinatorial Optimization, 12th International {IPCO} Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4513}, pages = {158--166}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72792-7\_13}, doi = {10.1007/978-3-540-72792-7\_13}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/ipco/CunninghamG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipco/LuedtkeAN07, author = {James R. Luedtke and Shabbir Ahmed and George L. Nemhauser}, editor = {Matteo Fischetti and David P. Williamson}, title = {An Integer Programming Approach for Linear Programs with Probabilistic Constraints}, booktitle = {Integer Programming and Combinatorial Optimization, 12th International {IPCO} Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4513}, pages = {410--423}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72792-7\_31}, doi = {10.1007/978-3-540-72792-7\_31}, timestamp = {Mon, 01 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ipco/LuedtkeAN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/or/Limtanyakul07, author = {Kamol Limtanyakul}, editor = {J{\"{o}}rg Kalcsics and Stefan Nickel}, title = {Scheduling of Tests on Vehicle Prototypes Using Constraint and Integer Programming}, booktitle = {Operations Research, Proceedings 2007, Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Saarbr{\"{u}}cken, Germany, September 5-7, 2007}, series = {Operations Research Proceedings}, pages = {421--426}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-77903-2\_65}, doi = {10.1007/978-3-540-77903-2\_65}, timestamp = {Fri, 28 Jun 2019 11:06:19 +0200}, biburl = {https://dblp.org/rec/conf/or/Limtanyakul07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/robocomm/ReinlS07, author = {Christian Reinl and Oskar von Stryk}, editor = {Alan F. T. Winfield and Jason Redi}, title = {Optimal control of multi-vehicle-systems under communication constraints using mixed-integer linear programming}, booktitle = {Proceedings of the 1st International Conference on Robot Communication and Coordination, {ROBOCOMM} 2007, Athens, Greece, October 15-17, 2007}, series = {{ACM} International Conference Proceeding Series}, volume = {318}, pages = {3}, publisher = {{ICST/ACM}}, year = {2007}, url = {https://doi.org/10.4108/ICST.ROBOCOMM2007.2211}, doi = {10.4108/ICST.ROBOCOMM2007.2211}, timestamp = {Tue, 27 Nov 2018 10:40:37 +0100}, biburl = {https://dblp.org/rec/conf/robocomm/ReinlS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/0705.4618}, eprinttype = {arXiv}, eprint = {0705.4618}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0705-4618.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.cor.2005.01.010}, doi = {10.1016/J.COR.2005.01.010}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cor/BockmayrP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2005.01.048}, doi = {10.1016/J.EJOR.2005.01.048}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/AppaMM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ic.2006.03.004}, doi = {10.1016/J.IC.2006.03.004}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/ZhangSM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.1040.0110}, doi = {10.1287/IJOC.1040.0110}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/SadykovW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1002/scj.20264}, doi = {10.1002/SCJ.20264}, timestamp = {Wed, 13 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scjapan/TakenakaOHT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.tcs.2006.02.019}, doi = {10.1016/J.TCS.2006.02.019}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Demri06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acl/ClarkeL06a, author = {James Clarke and Mirella Lapata}, editor = {Nicoletta Calzolari and Claire Cardie and Pierre Isabelle}, title = {Constraint-Based Sentence Compression: An Integer Programming Approach}, booktitle = {{ACL} 2006, 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, Proceedings of the Conference, Sydney, Australia, 17-21 July 2006}, publisher = {The Association for Computer Linguistics}, year = {2006}, url = {https://aclanthology.org/P06-2019/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acl/ClarkeL06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/JonssonKN06, author = {Peter Jonsson and Fredrik Kuivinen and Gustav Nordh}, editor = {Fr{\'{e}}d{\'{e}}ric Benhamou}, title = {Approximability of Integer Programming with Generalised Constraints}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th International Conference, {CP} 2006, Nantes, France, September 25-29, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4204}, pages = {256--270}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11889205\_20}, doi = {10.1007/11889205\_20}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/JonssonKN06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/AksoyCFM06, author = {Levent Aksoy and Eduardo A. C. da Costa and Paulo F. Flores and Jos{\'{e}} Monteiro}, editor = {Ellen Sentovich}, title = {Optimization of area under a delay constraint in digital filter synthesis using SAT-based integer linear programming}, booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006, San Francisco, CA, USA, July 24-28, 2006}, pages = {669--674}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1146909.1147079}, doi = {10.1145/1146909.1147079}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dac/AksoyCFM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/cs/0602047}, eprinttype = {arXiv}, eprint = {cs/0602047}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0602047.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/cs/0607016}, eprinttype = {arXiv}, eprint = {cs/0607016}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0607016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ejor.2004.02.027}, doi = {10.1016/J.EJOR.2004.02.027}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/BeraldiR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TCSII.2005.850786}, doi = {10.1109/TCSII.2005.850786}, timestamp = {Wed, 27 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcas/LlorensHN05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/ZhangSM05, author = {Ting Zhang and Henny B. Sipma and Zohar Manna}, editor = {Ramaswamy Ramanujam and Sandeep Sen}, title = {Decision Procedures for Queues with Integer Constraints}, booktitle = {{FSTTCS} 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3821}, pages = {225--237}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11590156\_18}, doi = {10.1007/11590156\_18}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/ZhangSM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icip/PeiD05a, author = {Soo{-}Chang Pei and Jian{-}Jiun Ding}, title = {Reversible integer color transform with bit-constraint}, booktitle = {Proceedings of the 2005 International Conference on Image Processing, {ICIP} 2005, Genoa, Italy, September 11-14, 2005}, pages = {964--967}, publisher = {{IEEE}}, year = {2005}, url = {https://doi.org/10.1109/ICIP.2005.1530554}, doi = {10.1109/ICIP.2005.1530554}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/icip/PeiD05a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wsc/Ozden05, author = {Mufit Ozden}, title = {A new optimization heuristic for continuous and integer decisions with constraints in simulation}, booktitle = {Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005}, pages = {853--856}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/WSC.2005.1574331}, doi = {10.1109/WSC.2005.1574331}, timestamp = {Thu, 10 Jun 2021 22:18:45 +0200}, biburl = {https://dblp.org/rec/conf/wsc/Ozden05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0305-0548(03)00021-2}, doi = {10.1016/S0305-0548(03)00021-2}, timestamp = {Tue, 18 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cor/KozanidisM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/ZhangSM04, author = {Ting Zhang and Henny B. Sipma and Zohar Manna}, editor = {David A. Basin and Micha{\"{e}}l Rusinowitch}, title = {Decision Procedures for Recursive Data Structures with Integer Constraints}, booktitle = {Automated Reasoning - Second International Joint Conference, {IJCAR} 2004, Cork, Ireland, July 4-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3097}, pages = {152--167}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25984-8\_9}, doi = {10.1007/978-3-540-25984-8\_9}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/cade/ZhangSM04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/LawL04, author = {Yat Chiu Law and Jimmy Ho{-}Man Lee}, editor = {Mark Wallace}, title = {Global Constraints for Integer and Set Value Precedence}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th International Conference, {CP} 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3258}, pages = {362--376}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30201-8\_28}, doi = {10.1007/978-3-540-30201-8\_28}, timestamp = {Fri, 27 Mar 2020 09:00:36 +0100}, biburl = {https://dblp.org/rec/conf/cp/LawL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cpaior/CorreaLR04, author = {Ayoub Insa Corr{\'{e}}a and Andr{\'{e}} Langevin and Louis{-}Martin Rousseau}, editor = {Jean{-}Charles R{\'{e}}gin and Michel Rueher}, title = {Dispatching and Conflict-Free Routing of Automated Guided Vehicles: {A} Hybrid Approach Combining Constraint Programming and Mixed Integer Programming}, booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, {CPAIOR} 2004, Nice, France, April 20-22, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3011}, pages = {370--379}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24664-0\_26}, doi = {10.1007/978-3-540-24664-0\_26}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/cpaior/CorreaLR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/Demri04, author = {St{\'{e}}phane Demri}, editor = {Igor Walukiewicz}, title = {{LTL} over Integer Periodicity Constraints: (Extended Abstract)}, booktitle = {Foundations of Software Science and Computation Structures, 7th International Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2987}, pages = {121--135}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24727-2\_10}, doi = {10.1007/978-3-540-24727-2\_10}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/Demri04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/glvlsi/LvovH04, author = {Alexey Lvov and Fook{-}Luen Heng}, editor = {David Garrett and John C. Lach and Charles A. Zukowski}, title = {A graph based simplex method for the integer minimum perturbation problem with sum and difference constraints}, booktitle = {Proceedings of the 14th {ACM} Great Lakes Symposium on {VLSI} 2004, Boston, MA, USA, April 26-28, 2004}, pages = {67--72}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/988952.988969}, doi = {10.1145/988952.988969}, timestamp = {Fri, 20 Aug 2021 16:30:37 +0200}, biburl = {https://dblp.org/rec/conf/glvlsi/LvovH04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/waoa/ShachnaiSS04, author = {Hadas Shachnai and Oded Shmueli and Robert Sayegh}, editor = {Giuseppe Persiano and Roberto Solis{-}Oba}, title = {Approximation Schemes for Deal Splitting and Covering Integer Programs with Multiplicity Constraints}, booktitle = {Approximation and Online Algorithms, Second International Workshop, {WAOA} 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3351}, pages = {111--125}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-31833-0\_11}, doi = {10.1007/978-3-540-31833-0\_11}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/waoa/ShachnaiSS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/cs/0403016}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-PL-0403016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://tel.archives-ouvertes.fr/tel-00293564}, timestamp = {Tue, 21 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/hal/Demassey03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0893-9659(03)00058-2}, doi = {10.1016/S0893-9659(03)00058-2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/appml/Cooke03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0166-218X(02)00598-X}, doi = {10.1016/S0166-218X(02)00598-X}, timestamp = {Thu, 11 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dam/Kolliopoulos03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csclp/AptZ03, author = {Krzysztof R. Apt and Peter Zoeteweij}, editor = {Krzysztof R. Apt and Fran{\c{c}}ois Fages and Francesca Rossi and P{\'{e}}ter Szeredi and J{\'{o}}zsef V{\'{a}}ncza}, title = {A Comparative Study of Arithmetic Constraints on Integer Intervals}, booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP} 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3010}, pages = {1--24}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24662-6\_1}, doi = {10.1007/978-3-540-24662-6\_1}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/csclp/AptZ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0377-2217(01)00162-X}, doi = {10.1016/S0377-2217(01)00162-X}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/Crema02a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.14.4.345.2826}, doi = {10.1287/IJOC.14.4.345.2826}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/Hentenryck02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.14.4.387.2830}, doi = {10.1287/IJOC.14.4.387.2830}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/MilanoORT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1080/1055678021000033937}, doi = {10.1080/1055678021000033937}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/oms/BeraldiR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s00291-002-0107-1}, doi = {10.1007/S00291-002-0107-1}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ors/Timpe02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/AppaMM02, author = {Gautam Appa and Ioannis Mourtos and Dimitris Magos}, editor = {Pascal Van Hentenryck}, title = {Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2470}, pages = {17--32}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46135-3\_2}, doi = {10.1007/3-540-46135-3\_2}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cp/AppaMM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Rolf H. M{\"{o}}hring and Rajeev Raman}, title = {{SCIL} - Symbolic Constraints in Integer Linear Programming}, booktitle = {Algorithms - {ESA} 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2461}, pages = {75--87}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45749-6\_11}, doi = {10.1007/3-540-45749-6\_11}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/esa/AlthausBEJKM02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/patat/EastonNT02, author = {Kelly Easton and George L. Nemhauser and Michael A. Trick}, editor = {Edmund K. Burke and Patrick De Causmaecker}, title = {Solving the Travelling Tournament Problem: {A} Combined Integer Programming and Constraint Programming Approach}, booktitle = {Practice and Theory of Automated Timetabling IV, 4th International Conference, {PATAT} 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2740}, pages = {100--112}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-45157-0\_6}, doi = {10.1007/978-3-540-45157-0\_6}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/patat/EastonNT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/patat/Trick02, author = {Michael A. Trick}, editor = {Edmund K. Burke and Patrick De Causmaecker}, title = {Integer and Constraint Programming Approaches for Round-Robin Tournament Scheduling}, booktitle = {Practice and Theory of Automated Timetabling IV, 4th International Conference, {PATAT} 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2740}, pages = {63--77}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-45157-0\_4}, doi = {10.1007/978-3-540-45157-0\_4}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/patat/Trick02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s004530010075}, doi = {10.1007/S004530010075}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/algorithmica/Bar-YehudaR01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1023/A:1016023415105}, doi = {10.1023/A:1016023415105}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/Mason01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.13.2.96.10515}, doi = {10.1287/IJOC.13.2.96.10515}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/WilliamsY01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Thorsteinsson01, author = {Erlendur S. Thorsteinsson}, editor = {Toby Walsh}, title = {Branch-and-Check: {A} Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th International Conference, {CP} 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2239}, pages = {16--30}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45578-7\_2}, doi = {10.1007/3-540-45578-7\_2}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/cp/Thorsteinsson01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0167-6377(00)00034-1}, doi = {10.1016/S0167-6377(00)00034-1}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/orl/Crema00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1023/A\%3A1018904229454}, doi = {10.1023/A\%3A1018904229454}, timestamp = {Wed, 14 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/RodosekWH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0167-6377(99)00039-5}, doi = {10.1016/S0167-6377(99)00039-5}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/orl/Li99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esa/Bar-YehudaR99, author = {Reuven Bar{-}Yehuda and Dror Rawitz}, editor = {Jaroslav Nesetril}, title = {Efficient Algorithms for Integer Programs with Two Variables per Constraint}, booktitle = {Algorithms - {ESA} '99, 7th Annual European Symposium, Prague, Czech Republic, July 16-18, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1643}, pages = {116--126}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48481-7\_11}, doi = {10.1007/3-540-48481-7\_11}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/esa/Bar-YehudaR99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jfplc/BockmayrK99, author = {Alexander Bockmayr and Thomas Kasper}, editor = {Fran{\c{c}}ois Fages}, title = {Branch-and-Infer: an Unifying Framework for Integer Linear Programming and Finite Domain Constraint Programming}, booktitle = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France}, pages = {141--142}, publisher = {Hermes}, year = {1999}, timestamp = {Tue, 30 Mar 2004 12:53:17 +0200}, biburl = {https://dblp.org/rec/conf/jfplc/BockmayrK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://d-nb.info/955899621}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Kasper98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0377-2217(98)80011-8}, doi = {10.1016/S0377-2217(98)80011-8}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eor/ToktayU98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.10.3.287}, doi = {10.1287/IJOC.10.3.287}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/BockmayrK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.10.3.276}, doi = {10.1287/IJOC.10.3.276}, timestamp = {Wed, 29 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/informs/Darby-DowmanL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.10.3.265}, doi = {10.1287/IJOC.10.3.265}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/ProllS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.10.3.261}, doi = {10.1287/IJOC.10.3.261}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/WilliamsW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0743-1066(97)10008-5}, doi = {10.1016/S0743-1066(97)10008-5}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/TomanC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1137/S1052623496313842}, doi = {10.1137/S1052623496313842}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamjo/Dinwoodie98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/BultanGL98, author = {Tevfik Bultan and Richard Gerber and Christopher League}, editor = {Mary Lou Soffa and Michal Young and Will Tracz}, title = {Verifying Systems with Integer Constraints and Boolean Predicates: {A} Composite Approach}, booktitle = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA, March 2-5, 1998}, pages = {113--123}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/271771.271799}, doi = {10.1145/271771.271799}, timestamp = {Tue, 26 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/BultanGL98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://nbn-resolving.org/urn:nbn:se:kth:diva-197640}, urn = {urn:nbn:se:kth:diva-197640}, timestamp = {Wed, 12 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/basesearch/Olof97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1023/A\%3A1018989130169}, doi = {10.1023/A\%3A1018989130169}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/MaffioliS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/BF00137871}, doi = {10.1007/BF00137871}, timestamp = {Wed, 29 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/constraints/Darby-DowmanLMZ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0305-0548(96)00015-9}, doi = {10.1016/S0305-0548(96)00015-9}, timestamp = {Mon, 08 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cor/ShiL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0377-2217(96)00236-6}, doi = {10.1016/S0377-2217(96)00236-6}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eor/WilliamsB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0743-1066(96)00142-2}, doi = {10.1016/S0743-1066(96)00142-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BenhamouO97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1006/jsco.1997.0114}, doi = {10.1006/JSCO.1997.0114}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/Peltier97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/BF00143880}, doi = {10.1007/BF00143880}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/SmithBHW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/Seidl96, author = {Helmut Seidl}, editor = {Hanne Riis Nielson}, title = {Integer Constraints to Stop Deforestation}, booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1058}, pages = {326--340}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61055-3\_46}, doi = {10.1007/3-540-61055-3\_46}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/esop/Seidl96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/ijoc.7.2.160}, doi = {10.1287/IJOC.7.2.160}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/informs/JordanD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/26.380049}, doi = {10.1109/26.380049}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcom/SalzZ95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/SmithBHW95, author = {Barbara M. Smith and Sally C. Brailsford and Peter M. Hubbard and H. Paul Williams}, editor = {Ugo Montanari and Francesca Rossi}, title = {The Progressive Party Problem: Integer Linear Programming and Constraint Programming Compared}, booktitle = {Principles and Practice of Constraint Programming - CP'95, First International Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {976}, pages = {36--52}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60299-2\_3}, doi = {10.1007/3-540-60299-2\_3}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/cp/SmithBHW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/conpar/MaslovP94, author = {Vadim Maslov and William W. Pugh}, editor = {Bruno Buchberger and Jens Volkert}, title = {Simplifying Polynominal Constraints Over Integers to Make Dependence Analysis More Precise}, booktitle = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {854}, pages = {737--748}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58430-7\_64}, doi = {10.1007/3-540-58430-7\_64}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/conpar/MaslovP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictl/HahnleI94, author = {Reiner H{\"{a}}hnle and Ortrun Ibens}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {Improving Temporal Logic Tableaux Using Integer Constraints}, booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn, Germany, July 11-14, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {827}, pages = {535--539}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0014007}, doi = {10.1007/BFB0014007}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ictl/HahnleI94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/TomanCR94, author = {David Toman and Jan Chomicki and David S. Rogers}, editor = {Maurice Bruynooghe}, title = {Datalog with Integer Periodicity Constraints}, booktitle = {Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994}, pages = {189--203}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/TomanCR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/BF02024842}, doi = {10.1007/BF02024842}, timestamp = {Thu, 13 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/anor/Nygreen93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/0167-6377(93)90036-G}, doi = {10.1016/0167-6377(93)90036-G}, timestamp = {Tue, 21 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/orl/Baldick93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/0304-3975(93)90222-F}, doi = {10.1016/0304-3975(93)90222-F}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Revesz93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/0304-3975(92)90389-W}, doi = {10.1016/0304-3975(92)90389-W}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Monfroglio92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dimacs/ZehaviS92, author = {Ephraim Zehavi and Jack Salz}, editor = {A. Robert Calderbank and G. David Forney Jr. and Nader Moayeri}, title = {Decoding Under Integer Metric Constraints}, booktitle = {Coding And Quantization, Proceedings of a {DIMACS} Workshop, Princeton, New Jersey, USA, October 19-21, 1992}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {14}, pages = {83--94}, publisher = {{DIMACS/AMS}}, year = {1992}, url = {https://doi.org/10.1090/dimacs/014/09}, doi = {10.1090/DIMACS/014/09}, timestamp = {Mon, 22 May 2023 16:07:35 +0200}, biburl = {https://dblp.org/rec/conf/dimacs/ZehaviS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/BF01582893}, doi = {10.1007/BF01582893}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mp/MichelonM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BankKMS91, author = {Bernd Bank and Teresa Krick and Reinhard Mandel and Pablo Solern{\'{o}}}, editor = {Lothar Budach}, title = {A Gemometrical Bound for Integer Programming with Polynomial Constraints}, booktitle = {Fundamentals of Computation Theory, 8th International Symposium, {FCT} '91, Gosen, Germany, September 9-13, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {529}, pages = {121--125}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54458-5\_56}, doi = {10.1007/3-540-54458-5\_56}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/BankKMS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1137/0403043}, doi = {10.1137/0403043}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamdm/GrotschelM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TSE.1987.233144}, doi = {10.1109/TSE.1987.233144}, timestamp = {Tue, 17 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/BiswasR87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/BF01918634}, doi = {10.1007/BF01918634}, timestamp = {Mon, 18 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mmor/Lin86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1002/net.3230160103}, doi = {10.1002/NET.3230160103}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/networks/ChanasK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/opre.31.4.795}, doi = {10.1287/OPRE.31.4.795}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/Onyekwelu83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/opre.25.2.346}, doi = {10.1287/OPRE.25.2.346}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/KendallZ77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/opre.21.1.221}, doi = {10.1287/OPRE.21.1.221}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/Jeroslow73.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/opre.19.4.1061}, doi = {10.1287/OPRE.19.4.1061}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/Jeroslow71.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/opre.18.5.940}, doi = {10.1287/OPRE.18.5.940}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/Rubin70.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1287/opre.17.4.680}, doi = {10.1287/OPRE.17.4.680}, timestamp = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/Raghavachari69.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.