E-LIB Suche - Ergebnisse für: Gleixner, Ambros

1

Branch and Cut for Partitioning a Graph into a Cycle of Clu..:

, In: Lecture Notes in Computer Science; Combinatorial Optimization,

Eifler, Leon ; Witzig, Jakob ; Gleixner, Ambros - p. 97-108 , 2024

2

The MIP Workshop 2023 Computational Competition on reoptimi..:

Bolusani, Suresh ; Besançon, Mathieu ; Gleixner, Ambros...
Mathematical Programming Computation. 16 (2024) 2 - p. 255-266 , 2024

Link: https://doi.org/10.1007/..

3

Certifying MIP-Based Presolve Reductions for $$0$$–$$1$$ In..:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Hoen, Alexander ; Oertel, Andy ; Gleixner, Ambros. - p. 310-328 , 2024

Link: https://doi.org/10.1007/..

4

Safe and Verified Gomory Mixed-Integer Cuts in a Rational M..:

Eifler, Leon ; Gleixner, Ambros
SIAM Journal on Optimization. 34 (2024) 1 - p. 742-763 , 2024

Link: https://doi.org/10.1137/..

5

PaPILO: A Parallel Presolving Library for Integer and Linea..:

Gleixner, Ambros ; Gottwald, Leona ; Hoen, Alexander
INFORMS Journal on Computing. 35 (2023) 6 - p. 1329-1341 , 2023

Link: https://doi.org/10.1287/..

6

PaPILO: A Parallel Presolving Library for Integer and Linea..:

Gleixner, Ambros ; Gottwald, Leona ; Hoen, Alexander
INFORMS Journal on Computing. , 2023

Link: https://doi.org/10.1287/..

7

Efficient Separation of RLT Cuts for Implicit and Explicit ..:

, In: Integer Programming and Combinatorial Optimization; Lecture Notes in Computer Science,

Bestuzheva, Ksenia ; Gleixner, Ambros ; Achterberg, Tobias - p. 14-28 , 2023

Link: https://doi.org/10.1007/..

8

Enabling Research through the SCIP Optimization Suite 8.0:

Bestuzheva, Ksenia ; Besançon, Mathieu ; Chen, Wei-Kun...
ACM Transactions on Mathematical Software. 49 (2023) 2 - p. 1-21 , 2023

Link: https://doi.org/10.1145/..

9

Online Learning for Scheduling MIP Heuristics:

, In: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; Lecture Notes in Computer Science,

Chmiela, Antonia ; Gleixner, Ambros ; Lichocki, Pawel. - p. 114-123 , 2023

Link: https://doi.org/10.1007/..

10

A computational study of perspective cuts:

Bestuzheva, Ksenia ; Gleixner, Ambros ; Vigerske, Stefan
Mathematical Programming Computation. 15 (2023) 4 - p. 703-731 , 2023

Link: https://doi.org/10.1007/..

11

A computational status update for exact rational mixed inte..:

Eifler, Leon ; Gleixner, Ambros
Mathematical Programming. 197 (2022) 2 - p. 793-812 , 2022

Link: https://doi.org/10.1007/..

12

A massively parallel interior-point solver for LPs with gen..:

Rehfeldt, Daniel ; Hobbie, Hannes ; Schönheit, David...
European Journal of Operational Research. 296 (2022) 1 - p. 60-71 , 2022

Link: https://doi.org/10.1016/..

13

An algorithm-independent measure of progress for linear con..:

Sofranac, Boro ; Gleixner, Ambros ; Pokutta, Sebastian
Constraints. 27 (2022) 4 - p. 432-455 , 2022

Link: https://doi.org/10.1007/..

14

Accelerating domain propagation: An efficient GPU-parallel ..:

Sofranac, Boro ; Gleixner, Ambros ; Pokutta, Sebastian
Parallel Computing. 109 (2022) - p. 102874 , 2022

Link: https://doi.org/10.1016/..

15

A Safe Computational Framework for Integer Programming Appl..:

Eifler, Leon ; Gleixner, Ambros ; Pulaj, Jonad
ACM Transactions on Mathematical Software. 48 (2022) 2 - p. 1-12 , 2022

Link: https://doi.org/10.1145/..