×

Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. (English) Zbl 1410.68020

Lecture Notes in Computer Science 11494. Cham: Springer (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). xx, 662 p. (2019).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1388.68011].
Indexed articles:
Archibald, Blair; Dunlop, Fraser; Hoffmann, Ruth; McCreesh, Ciaran; Prosser, Patrick; Trimble, James, Sequential and parallel solution-biased search for subgraph algorithms, 20-38 [Zbl 1525.68088]
Berg, Jeremias; Demirović, Emir; Stuckey, Peter J., Core-boosted linear search for incomplete MaxSAT, 39-56 [Zbl 1525.68140]
Bergman, David; Cardonha, Carlos; Mehrani, Saharnaz, Binary decision diagrams for bin packing with minimum color fragmentation, 57-66 [Zbl 1525.90345]
Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob, Local rapid learning for integer programs, 67-83 [Zbl 1525.68142]
Witzig, Jakob; Berthold, Timo; Heinz, Stefan, A status report on conflict analysis in mixed integer nonlinear programming, 84-94 [Zbl 1525.90285]
Björdal, Gustav; Flener, Pierre; Pearson, Justin, Generating compound moves in local search by hybridisation with complete search, 95-111 [Zbl 1525.68143]
Bofill, Miquel; Coll, Jordi; Suy, Josep; Villaret, Mateu, SAT encodings of pseudo-Boolean constraints with at-most-one relations, 112-128 [Zbl 1525.68144]
Booth, Kyle E. C.; Beck, J. Christopher, A constraint programming approach to electric vehicle routing with time windows, 129-145 [Zbl 1525.90052]
Coste, Pierre; Lodi, Andrea; Pesant, Gilles, Using cost-based solution densities from TSP relaxations to solve routing problems, 182-191 [Zbl 1525.90349]
Cwioro, Günther; Hungerländer, Philipp; Maier, Kerstin; Pöcher, Jörg; Truden, Christian, An optimization approach to the ordering phase of an attended home delivery service, 208-224 [Zbl 1525.90056]
Davarnia, Danial; Hooker, J. N., Consistency for 0-1 programming, 225-240 [Zbl 1525.90268]
Demirović, Emir; Stuckey, Peter J.; Bailey, James; Chan, Jeffrey; Leckie, Chris; Ramamohanarao, Kotagiri; Guns, Tias, An investigation into prediction + optimisation for the knapsack problem, 241-257 [Zbl 1525.90350]
Derval, Guillaume; Branders, Vincent; Dupont, Pierre; Schaus, Pierre, The maximum weighted submatrix coverage problem: a CP approach, 258-274 [Zbl 1525.90351]
Fischetti, Martina; Lodi, Andrea; Zarpellon, Giulia, Learning MILP resolution outcomes before reaching time-limit, 275-291 [Zbl 1525.90283]
Frăsinaru, Cristian; Răschip, Mădălina, An improved subsumption testing algorithm for the optimal-size sorting network problem, 292-303 [Zbl 1525.68094]
Geibinger, Tobias; Mischek, Florian; Musliu, Nysret, Investigating constraint programming for real world industrial test laboratory scheduling, 304-319 [Zbl 1525.90200]
Genc, Begum; Siala, Mohamed; Simonin, Gilles; O’Sullivan, Barry, An approach to robustness in the stable roommates problem and its comparison with the stable marriage problem, 320-336 [Zbl 1525.68145]
Gondran, Alexandre; Moalic, Laurent, Optimality clue for graph coloring problem, 337-354 [Zbl 1525.90415]
Auricchio, Gennaro; Bassetti, Federico; Gualandi, Stefano; Veneroni, Marco, Computing Wasserstein barycenters via linear programming, 355-363 [Zbl 1525.68193]
Hebrard, Emmanuel; Katsirelos, George, A hybrid approach for exact coloring of massive graphs, 374-390 [Zbl 1525.68095]
Kletzander, Lucas; Musliu, Nysret, Modelling and solving the minimum shift design problem, 391-408 [Zbl 1525.90243]
Kocuk, Burak; van Hoeve, Willem-Jan, A computational comparison of optimization methods for the Golomb ruler problem, 409-425 [Zbl 1525.90363]
Malapert, Arnaud; Nattaf, Margaux, A new CP-approach for a parallel machine scheduling problem with time constraints on machine qualifications, 426-442 [Zbl 1525.90213]
Nicholas, Paul J.; Hoffman, Karla L., Efficient solution methods for the cumulative-interference channel assignment problem using integer optimization and constraint programming, 443-460 [Zbl 1525.90099]
Riley, Connor; Legrain, Antoine; Van Hentenryck, Pascal, Column generation for real-time ride-sharing operations, 472-487 [Zbl 1527.90054]
Say, Buser; Sanner, Scott, Metric hybrid factored planning in nonlinear domains with constraint generation, 502-518 [Zbl 1527.68214]
Serra, Thiago; Raghunathan, Arvind U.; Bergman, David; Hooker, John; Kobori, Shingo, Last-mile scheduling under uncertainty, 519-528 [Zbl 1527.90108]
Tan, Yingcong; Delong, Andrew; Terekhov, Daria, Deep inverse optimization, 540-556 [Zbl 1527.90258]
Tang, Ziye; van Hoeve, Willem-Jan; Shaw, Paul, A study on the traveling salesman problem with a drone, 557-564 [Zbl 1527.90060]
van den Bogaerdt, Pim; de Weerdt, Mathijs, Lower bounds for uniform machine scheduling using decision diagrams, 565-580 [Zbl 1527.90110]
Verhaeghe, Hélène; Lecoutre, Christophe; Schaus, Pierre, Extending compact-diagram to basic smart multi-valued variable diagrams, 581-598 [Zbl 1527.68215]
Wang, Ruiwei; Yap, Roland H. C., Arc consistency revisited, 599-615 [Zbl 1527.68216]
Xue, Yexiang; van Hoeve, Willem-Jan, Embedding decision diagrams into generative adversarial networks, 616-632 [Zbl 1527.68217]
Yang, Moli; Schutt, Andreas; Stuckey, Peter J., Time table edge finding with energy variables, 633-642 [Zbl 1527.90111]
Yip, Ka Wa; Xu, Hong; Koenig, Sven; Kumar, T. K. Satish, Quadratic reformulation of nonlinear pseudo-Boolean functions via the constraint composite graph, 643-660 [Zbl 1527.90130]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
90-06 Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
90C27 Combinatorial optimization
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1388.68011
PDFBibTeX XMLCite
Full Text: DOI