×

Found 364 Documents (Results 1–100)

Newest Citations Relevance
Juvin, Carla; Houssin, Laurent; Lopez, Pierre

Constraint programming for the robust two-machine flow-shop scheduling problem with budgeted uncertainty. (English) Zbl 07745671

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 354-369 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{C. Juvin} et al., Lect. Notes Comput. Sci. 13884, 354--369 (2023; Zbl 07745671)
Full Text: DOI HAL
Chembu, Aravinth; Sanner, Scott; Khalil, Elias B.

Scalable and near-optimal \(\varepsilon\)-tube clusterwise regression. (English) Zbl 07745665

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 254-263 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{A. Chembu} et al., Lect. Notes Comput. Sci. 13884, 254--263 (2023; Zbl 07745665)
Full Text: DOI
ElAraby, Mostafa; Wolf, Guy; Carvalho, Margarida

OAMIP: optimizing ANN architectures using mixed-integer programming. (English) Zbl 07745663

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 219-237 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{M. ElAraby} et al., Lect. Notes Comput. Sci. 13884, 219--237 (2023; Zbl 07745663)
Full Text: DOI arXiv
Chmiela, Antonia; Gleixner, Ambros; Lichocki, Pawel; Pokutta, Sebastian

Online learning for scheduling MIP heuristics. (English) Zbl 07745656

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 114-123 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{A. Chmiela} et al., Lect. Notes Comput. Sci. 13884, 114--123 (2023; Zbl 07745656)
Full Text: DOI arXiv
Hojny, Christopher; Pfetsch, Marc E.

Handling symmetries in mixed-integer semidefinite programs. (English) Zbl 07745653

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 69-78 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{C. Hojny} and \textit{M. E. Pfetsch}, Lect. Notes Comput. Sci. 13884, 69--78 (2023; Zbl 07745653)
Full Text: DOI
Smirnov, S. N.

A guaranteed deterministic approach to superhedging: the relationship between the deterministic and probabilistic problem statements without trading constraints. (English. Russian original) Zbl 1512.91154

Theory Probab. Appl. 67, No. 4, 548-569 (2023); translation from Teor. Veroyatn. Primen. 67, No. 4, 548-569 (2022).
MSC:  91G20 60G40
PDFBibTeX XMLCite
\textit{S. N. Smirnov}, Theory Probab. Appl. 67, No. 4, 548--569 (2023; Zbl 1512.91154); translation from Teor. Veroyatn. Primen. 67, No. 4, 548--569 (2022)
Full Text: DOI
Ferber, Aaron; Song, Jialin; Dilkina, Bistra; Yue, Yisong

Learning pseudo-backdoors for mixed integer programs. (English) Zbl 1502.90111

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 91-102 (2022).
MSC:  90C11 68T05 68T20
PDFBibTeX XMLCite
\textit{A. Ferber} et al., Lect. Notes Comput. Sci. 13292, 91--102 (2022; Zbl 1502.90111)
Full Text: DOI arXiv Link
Berthold, Timo; Hendel, Gregor; Salvagnin, Domenico

Transferring information across restarts in MIP. (English) Zbl 1502.68267

Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 24-33 (2022).
MSC:  68T20 90C11
PDFBibTeX XMLCite
\textit{T. Berthold} et al., Lect. Notes Comput. Sci. 13292, 24--33 (2022; Zbl 1502.68267)
Full Text: DOI
Kronqvist, Jan; Misener, Ruth; Tsay, Calvin

Between steps: intermediate relaxations between big-M and convex hull formulations. (English) Zbl 07493636

Stuckey, Peter J. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 18th international conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12735, 299-314 (2021).
MSC:  68T20 90C27
PDFBibTeX XMLCite
\textit{J. Kronqvist} et al., Lect. Notes Comput. Sci. 12735, 299--314 (2021; Zbl 07493636)
Full Text: DOI arXiv
Smirnov, Sergey N.

A guaranteed deterministic approach to superhedging: optimal mixed strategies of the market and their supports. (English) Zbl 1479.91417

Karapetyants, Alexey N. (ed.) et al., Operator theory and harmonic analysis. OTHA 2020, Part II – probability-analytical models, methods and applications. Based on the international conference on modern methods, problems and applications of operator theory and harmonic analysis. Cham: Springer. Springer Proc. Math. Stat. 358, 355-372 (2021).
MSC:  91G20 91A80
PDFBibTeX XMLCite
\textit{S. N. Smirnov}, Springer Proc. Math. Stat. 358, 355--372 (2021; Zbl 1479.91417)
Full Text: DOI
Malkov, Ustav; Malkova, Vlasta

Effectiveness of Nash equilibrium search algorithms in four-person games in general and multi-matrix settings. (English) Zbl 1533.91007

Olenev, Nicholas (ed.) et al., Advances in optimization and applications. 11th international conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1340, 198-208 (2020).
MSC:  91A06 90C26 91A68 91-08
PDFBibTeX XMLCite
\textit{U. Malkov} and \textit{V. Malkova}, Commun. Comput. Inf. Sci. 1340, 198--208 (2020; Zbl 1533.91007)
Full Text: DOI
Serra, Thiago; Kumar, Abhinav; Ramalingam, Srikumar

Lossless compression of deep neural networks. (English) Zbl 07636034

Hebrard, Emmanuel (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12296, 417-430 (2020).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{T. Serra} et al., Lect. Notes Comput. Sci. 12296, 417--430 (2020; Zbl 07636034)
Full Text: DOI arXiv
Hoppmann, Kai; Mexi, Gioni; Burdakov, Oleg; Casselgren, Carl Johan; Koch, Thorsten

Minimum cycle partition with length requirements. (English) Zbl 07636025

Hebrard, Emmanuel (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12296, 273-282 (2020).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{K. Hoppmann} et al., Lect. Notes Comput. Sci. 12296, 273--282 (2020; Zbl 07636025)
Full Text: DOI
Etheve, Marc; Alès, Zacharie; Bissuel, Côme; Juan, Olivier; Kedad-Sidhoum, Safia

Reinforcement learning for variable selection in a branch and bound algorithm. (English) Zbl 07636019

Hebrard, Emmanuel (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12296, 176-185 (2020).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
\textit{M. Etheve} et al., Lect. Notes Comput. Sci. 12296, 176--185 (2020; Zbl 07636019)
Full Text: DOI arXiv
Smirnov, Sergeĭ N.

A guaranteed deterministic approach to superhedging: most unfavorable scenarios of market behaviour and moment problem. (Russian. English summary) Zbl 1458.91213

Mat. Teor. Igr Prilozh. 12, No. 3, 50-88 (2020); translation in Autom. Remote Control 83, No. 11, 1820-1842 (2022).
Reviewer: George Stoica (Saint John)
MSC:  91G20
PDFBibTeX XMLCite
\textit{S. N. Smirnov}, Mat. Teor. Igr Prilozh. 12, No. 3, 50--88 (2020; Zbl 1458.91213); translation in Autom. Remote Control 83, No. 11, 1820--1842 (2022)
Full Text: MNR
Enkhbat, Rentsen; Batbileg, S.; Tungalag, N.; Anikin, A.; Gornov, A.

A global optimization approach to nonzero sum six-person game. (English) Zbl 1442.91002

Yeung, David (ed.) et al., Frontiers in games and dynamic games. Theory, applications, and numerical methods. Selected papers based on the presentations at the ISDG-China chapter conference on dynamic games and game theoretic analysis, Ningbo, China, August 3–5, 2017. Cham: Birkhäuser. Ann. Int. Soc. Dyn. Games 16, 219-227 (2020).
MSC:  91A06 90C26
PDFBibTeX XMLCite
\textit{R. Enkhbat} et al., Ann. Int. Soc. Dyn. Games 16, 219--227 (2020; Zbl 1442.91002)
Full Text: DOI
Lozovanu, Dmitrii

Pure and mixed stationary Nash equilibria for average stochastic positional games. (English) Zbl 1427.91051

Petrosyan, Leon A. (ed.) et al., Frontiers of dynamic games. Game theory and management, St. Petersburg, 2018. Selected talks presented at the 12th international conference “Game Theory and Management”, GTM2018, St. Petersburg, Russia, June 27–29, 2018. Cham: Birkhäuser. Static Dyn. Game Theory: Found. Appl., 131-155 (2019).
MSC:  91A24 91A15
PDFBibTeX XMLCite
\textit{D. Lozovanu}, in: Frontiers of dynamic games. Game theory and management, St. Petersburg, 2018. Selected papers based on the presentations at the 12th international conference, GTM2018, St. Petersburg, Russia, June 27--29, 2018. Cham: Birkhäuser. 131--155 (2019; Zbl 1427.91051)
Full Text: DOI
Berthold, Timo; Stuckey, Peter J.; Witzig, Jakob

Local rapid learning for integer programs. (English) Zbl 1525.68142

Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11494, 67-83 (2019).
MSC:  68T20 68T05 90C10 90C11 90C59
PDFBibTeX XMLCite
\textit{T. Berthold} et al., Lect. Notes Comput. Sci. 11494, 67--83 (2019; Zbl 1525.68142)
Full Text: DOI arXiv
Lozovanu, Dmitrii; Pickl, Stefan

Pure stationary Nash equilibria for discounted stochastic positional games. (English) Zbl 1425.91051

Petrosyan, Leon A. (ed.) et al., Contributions to game theory and management. Volume XII. Collected papers presented at the 12th international conference on game theory and management (GTM 2018), St. Petersburg, Russia, June 27–29, 2018. St. Petersburg: St. Petersburg State University. 246-260 (2019).
MSC:  91A15 91A24
PDFBibTeX XMLCite
\textit{D. Lozovanu} and \textit{S. Pickl}, in: Contributions to game theory and management. Volume XII. Collected papers presented at the 12th international conference on game theory and management (GTM 2018), St. Petersburg, Russia, June 27--29, 2018. St. Petersburg: St. Petersburg State University. 246--260 (2019; Zbl 1425.91051)
Full Text: Link
Kryvyi, S. L.; Opanasenko, V. M.; Zavyalov, S. B.

Partitioning a set of vectors with integer coordinates by means of logical hardware. (English. Russian original) Zbl 1443.68219

Cybern. Syst. Anal. 55, No. 3, 462-473 (2019); translation from Kibern. Sist. Anal. 2019, No. 3, 136-148 (2019).
MSC:  68W35 68Q45 68T20 90C11
PDFBibTeX XMLCite
\textit{S. L. Kryvyi} et al., Cybern. Syst. Anal. 55, No. 3, 462--473 (2019; Zbl 1443.68219); translation from Kibern. Sist. Anal. 2019, No. 3, 136--148 (2019)
Full Text: DOI
Stoica, Florin; Bărbulescu, Alina; Stoica, Laura Florentina

Tuning extreme learning machines with genetic algorithms. (English) Zbl 1410.68324

Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the fifth international conference, Sibiu, Romania, June 23–25, 2017. Sibiu: “Lucian Blaga” University Press. 72-81 (2018).
MSC:  68T05 62J05 68T20
PDFBibTeX XMLCite
\textit{F. Stoica} et al., in: Modelling and development of intelligent systems. Proceedings of the fifth international conference, Sibiu, Romania, June 23--25, 2017. Sibiu: ``Lucian Blaga'' University Press. 72--81 (2018; Zbl 1410.68324)
Bromberger, Martin

A reduction from unbounded linear mixed arithmetic problems into bounded problems. (English) Zbl 1511.68243

Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10900, 329-345 (2018).
MSC:  68T20
PDFBibTeX XMLCite
\textit{M. Bromberger}, Lect. Notes Comput. Sci. 10900, 329--345 (2018; Zbl 1511.68243)
Full Text: DOI arXiv
Gottwald, Robert Lion; Maher, Stephen J.; Shinano, Yuji

Distributed domain propagation. (English) Zbl 1432.68416

Iliopoulos, Costas S. (ed.) et al., 16th international symposium on experimental algorithms, SEA 2017, London, UK, June 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 75, Article 6, 11 p. (2017).
MSC:  68T20 68W10 90C11
PDFBibTeX XMLCite
\textit{R. L. Gottwald} et al., LIPIcs -- Leibniz Int. Proc. Inform. 75, Article 6, 11 p. (2017; Zbl 1432.68416)
Full Text: DOI
Caleiro, Carlos; Casal, Filipe; Mordido, Andreia

Generalized probabilistic satisfiability. (English) Zbl 1401.68113

Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 39-56 (2017).
MSC:  68Q25 68Q17 68T20 90C11 90C15
PDFBibTeX XMLCite
\textit{C. Caleiro} et al., Electron. Notes Theor. Comput. Sci. 332, 39--56 (2017; Zbl 1401.68113)
Full Text: DOI
Bajgiran, Omid Sanei; Cire, Andre A.; Rousseau, Louis-Martin

A first look at picking dual variables for maximizing reduced cost fixing. (English) Zbl 1489.68246

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 221-228 (2017).
MSC:  68T20 90C11
PDFBibTeX XMLCite
\textit{O. S. Bajgiran} et al., Lect. Notes Comput. Sci. 10335, 221--228 (2017; Zbl 1489.68246)
Full Text: DOI Link
Witzig, Jakob; Berthold, Timo; Heinz, Stefan

Experiments with conflict analysis in mixed integer programming. (English) Zbl 1489.68261

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 211-220 (2017).
MSC:  68T20 90C11
PDFBibTeX XMLCite
\textit{J. Witzig} et al., Lect. Notes Comput. Sci. 10335, 211--220 (2017; Zbl 1489.68261)
Full Text: DOI arXiv
Kruber, Markus; Lübbecke, Marco E.; Parmentier, Axel

Learning when to use a decomposition. (English) Zbl 1489.68253

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 202-210 (2017).
MSC:  68T20 68T05 90C11
PDFBibTeX XMLCite
\textit{M. Kruber} et al., Lect. Notes Comput. Sci. 10335, 202--210 (2017; Zbl 1489.68253)
Full Text: DOI
Díaz, Mateo; Bras, Ronan Le; Gomes, Carla

In search of balance: the challenge of generating balanced Latin rectangles. (English) Zbl 1489.68251

Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 68-76 (2017).
MSC:  68T20 05B15 90C11 90C27
PDFBibTeX XMLCite
\textit{M. Díaz} et al., Lect. Notes Comput. Sci. 10335, 68--76 (2017; Zbl 1489.68251)
Full Text: DOI
Say, Buser; Cire, Andre A.; Beck, J. Christopher

Mathematical programming models for optimizing partial-order plan flexibility. (English) Zbl 1403.68245

Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 1044-1052 (2016).
MSC:  68T20 90C11
PDFBibTeX XMLCite
\textit{B. Say} et al., Front. Artif. Intell. Appl. 285, 1044--1052 (2016; Zbl 1403.68245)
Full Text: DOI
Belenky, Alexander S.; Egorova, Lyudmila G.

Optimization of portfolio compositions for small and medium price-taking traders. (English) Zbl 1354.91138

Goldengorin, Boris (ed.), Optimization and applications in control and data sciences. In honor of Boris T. Polyak’s 80th birthday. Selected papers based on the presentations at the international conference, Moscow, Russia, May, 13–15, 2015. Cham: Springer (ISBN 978-3-319-42054-7/hbk; 978-3-319-42056-1/ebook). Springer Optimization and Its Applications 115, 51-117 (2016).
MSC:  91G10 90C10 90C11 60H10 91A05
PDFBibTeX XMLCite
\textit{A. S. Belenky} and \textit{L. G. Egorova}, Springer Optim. Appl. 115, 51--117 (2016; Zbl 1354.91138)
Full Text: DOI
Harabor, Daniel; Stuckey, Peter J.

Rail capacity modelling with constraint programming. (English) Zbl 1479.90025

Quimper, Claude-Guy (ed.), Integration of AI and OR techniques in constraint programming. 13th international conference, CPAIOR 2016, Banff, AB, Canada, May 29 – June 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9676, 170-186 (2016).
MSC:  90B06 68T20 90B10 90B90 90C11
PDFBibTeX XMLCite
\textit{D. Harabor} and \textit{P. J. Stuckey}, Lect. Notes Comput. Sci. 9676, 170--186 (2016; Zbl 1479.90025)
Full Text: DOI
Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Flener, Pierre; Francisco Rodríguez, María Andreína; Pearson, Justin; Simonis, Helmut

Time-series constraints: improvements and application in CP and MIP contexts. (English) Zbl 1475.68332

Quimper, Claude-Guy (ed.), Integration of AI and OR techniques in constraint programming. 13th international conference, CPAIOR 2016, Banff, AB, Canada, May 29 – June 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9676, 18-34 (2016).
MSC:  68T20 90C11
PDFBibTeX XMLCite
\textit{E. Arafailova} et al., Lect. Notes Comput. Sci. 9676, 18--34 (2016; Zbl 1475.68332)
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software