• Suche: Verifying integer programming results

Treffer 1 - 20 von 23.791

1

Verifying Integer Programming Results
Integer programming and combinatorial optimization (International conference)
Cheung, Kevin K. H. ; Gleixner, Ambros ; Steffy, Daniel E.
Lecture notes in computer science. 10328:148-160

Konferenz
Merkliste
2

Integrated optimisation of berth allocation and yard management in the parallel-layout automated container terminal under uncertainty.
Duan, Shuang ; Zheng, Hongxing ; Wang, Zhaoyang
International Journal of Production Research. Feb2026, Vol. 64 Issue 3, p1055-1078. 24p.

Fachzeitschrift
Merkliste
3

Mixed integer programming modeling for the satellite three-dimensional layout optimization problem from two component assignment perspectives
Xia, Yufeng ; Chen, Xianqi ; Liu, Zhijia ; et al.
In Expert Systems With Applications 15 December 2025 294

Fachzeitschrift
Merkliste
4

Integer and constraint programming models for the straight and U-shaped assembly line balancing with hierarchical worker assignment problem.
Işık, Eyüp Ensar ; Yildiz, Seyda Topaloglu
International Journal of Production Research. Jul2024, Vol. 62 Issue 14, p5269-5292. 24p.

Fachzeitschrift
Merkliste
5

An approximate dynamic programming approach to wafer-lot scheduling for parallel multi-chamber equipment in semiconductor fabrication lines.
Hong, Sungwon ; Lee, Younsoo ; Lee, Kyungsik
International Journal of Production Research. Nov2025, p1-26. 26p. 8 Illustrations.

Fachzeitschrift
Merkliste
6

Mixed-integer programming model and hybrid local search genetic algorithm for human–robot collaborative disassembly line balancing problem.
Wu, Tengfei ; Zhang, Zeqiang ; Zeng, Yanqing ; et al.
International Journal of Production Research. Mar2024, Vol. 62 Issue 5, p1758-1782. 25p.

Fachzeitschrift
Merkliste
7

On supervalid inequalities for binary interdiction games.
Wei, Ningji ; Walteros, Jose L.
Mathematical Programming. Jul2025, Vol. 212 Issue 1, p437-478. 42p.

Fachzeitschrift
Merkliste
8

Verifying integer programming results
Cheung, K. (Kevin King Hin) ; Gleixner, A. (Ambros) ; Steffy, D.E. (Daniel E.) ; et al.

E-Ressource
Merkliste
9

An integer linear programming model for the label printing problem.
Xu, Dehua ; Shen, Yuan ; Cao, Yu ; et al.
International Transactions in Operational Research. Jan2025, Vol. 32 Issue 1, p270-288. 19p.

Fachzeitschrift
Merkliste
10

A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
Lazarus, Christopher ; Kochenderfer, Mykel J. ; Lazarus, Christopher ; et al.

E-Ressource
Merkliste
11

A new bi-level sustainable reverse logistics waste management problem with accelerated Benders decomposition method
Wang, Zhifei ; Liu, Yankui
In Computers & Industrial Engineering October 2025 208

Fachzeitschrift
Merkliste
12

A new two-stage constraint programming approach for open shop scheduling problem with machine blocking.
Abreu, Levi R. ; Nagano, Marcelo S. ; Prata, Bruno A.
International Journal of Production Research. Dec2023, Vol. 61 Issue 24, p8560-8579. 20p.

Fachzeitschrift
Merkliste
13

Integer programming formulations for the k$k$‐in‐a‐tree problem in graphs.
Ferreira, Lucas Saldanha ; Santos, Vinicius Fernandes dos ; Valle, Cristiano Arbex
International Transactions in Operational Research. Sep2024, Vol. 31 Issue 5, p3090-3107. 18p.

Fachzeitschrift
Merkliste
14

Verifying Integer Programming Results
Cheung, Kevin K. H. ; Gleixner, Ambros ; Steffy, Daniel E.
In F. Eisenbrand and J. Koenemann, eds., Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017, pages 148-160, 2017

Mathematics - Optimizati... Computer Science - Discr... Computer Science - Mathe... 90C11
Report
Merkliste
15

Optimising batch scheduling on non-identical parallel machines: lower bounds, MIP, branch-and-price, and heuristics.
ElWakil, Mohamed ; Lersteau, Charly ; Shen, Weiming ; et al.
International Journal of Production Research. Dec2025, Vol. 63 Issue 24, p9722-9747. 26p.

Fachzeitschrift
Merkliste
16

Parallel optimization over the integer efficient set.
Younes, Djellouli ; Sarah, Hamadou ; Djamal, Chaabane
International Transactions in Operational Research. May2024, Vol. 31 Issue 3, p1949-1974. 26p.

Fachzeitschrift
Merkliste
17

Generalized Nash equilibrium problems with mixed-integer variables.
Harks, Tobias ; Schwarz, Julian
Mathematical Programming. Jan2025, Vol. 209 Issue 1, p231-277. 47p.

Fachzeitschrift
Merkliste
18

A unified framework for symmetry handling.
van Doornmalen, Jasper ; Hojny, Christopher
Mathematical Programming. Jul2025, Vol. 212 Issue 1, p217-271. 55p.

Fachzeitschrift
Merkliste
19

Discovering Causal Models with Optimization: Confounders, Cycles, and Instrument Validity.
Eberhardt, Frederick ; Kaynar, Nur ; Siddiq, Auyon
Management Science. Apr2025, Vol. 71 Issue 4, p3283-3302. 20p.

Fachzeitschrift
Merkliste
20

The Parallel Epsilon Algorithm for Triobjective Integer Optimization Problems.
Prinz, Kathrin ; Ruzika, Stefan
INFORMS Journal on Computing. Nov2025, p1. 22p.

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter