From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “integer programming” 205

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Nils Lommen

0

citations
Experiments and Details for "Scaling Automated Program Verification and Complexity Analysis: From Decidability for Single-Path Loops to Integer Programs and Beyond''
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Nils Lommen

0

citations
Addressing Mixed-Integer Nonlinear Energy Management in Hybrid Vehicles: Comparing Genetic Algorithm and Sequential Quadratic Programming Within Model Predictive Control
2026 Energies article Engineering Electric and Hybrid Vehicle Technologies Open access

Ferris Herkenrath, Silas Koßler, Marco Günther, Stefan Pischinger

1

citations
Dantzig-Wolfe Decomposition for Integer Linear Programming
2026 Springer eBooks book-chapter Mathematics Advanced Optimization Algorithms Research Open access

Jacques Desrosiers, Marco E. Lübbecke, Guy Desaulniers, Jean Bertrand Gauthier

0

citations
Linear and Integer Linear Programming
2026 Springer eBooks book-chapter Mathematics Advanced Optimization Algorithms Research Open access

Jacques Desrosiers, Marco E. Lübbecke, Guy Desaulniers, Jean Bertrand Gauthier

0

citations
An Integer Programming Approach to Deep Neural Networks with Binary Activation Functions
2020 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Bubacarr Bah, Jannis Kurtz

8

citations
MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library
2021 Mathematical Programming Computation article Mathematics Advanced Optimization Algorithms Research Open access

Ambros Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, +10 more

206

citations
Closed loop model predictive control of a hybrid battery-hydrogen energy storage system using mixed-integer linear programming
2024 Energy Conversion and Management X article Energy Hybrid Renewable Energy Systems Open access

Alexander Holtwerth, André Xhonneux, Dirk Müller

28

citations
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
2022 Machine Learning article Computer Science Adversarial Robustness in Machine Learning Open access

Holger H. Hoos, Jan N. van Rijn

7

citations
Modeling and evaluating agile assembly systems using mixed-integer linear programming
2020 Procedia CIRP article Engineering Scheduling and Optimization Algorithms Open access

Peter Burggräf, Matthias Dannapfel, Tobias Adlon, Esben Schukat, Hannes Kahmann, Lucian Holtwiesche

5

citations
Patient-to-room assignment with single-rooms entitlements: Combinatorial insights and integer programming formulations
2025 European Journal of Operational Research article Health Professions Healthcare Operations and Scheduling Optimization Open access

Tabea Brandt, Christina Büsing

2

citations
Solving the Kidney Exchange Problem Using Privacy-Preserving Integer Programming
2022 conference-paper Computer Science Cryptography and Data Security Open access

Malte Breuer, Pascal Hein, Leonardo Pompe, Ben Temme, Ulrike Meyer, Susanne Wetzel

6

citations
Addressing Mixed-Integer Nonlinear Energy Management in Hybrid Vehicles: Comparing Genetic Algorithm and Sequential Quadratic Programming Within Model Predictive Control
2026 Energies article Engineering Electric and Hybrid Vehicle Technologies Open access

Ferris Herkenrath, Silas Koßler, Marco Günther, Stefan Pischinger

0

citations
Model predictive control of hybrid battery-hydrogen energy storage systems using mixed integer linear programming; 1. Auflage
2025 RWTH Publications (RWTH Aachen) book Energy Hybrid Renewable Energy Systems Open access

Alexander Holtwerth

0

citations
An optimized backbone-based process layout generation method using integer programming and heuristics to enhance user comprehension
2025 SSRN Electronic Journal preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Deoksang Lee, Minseok Song, Wil M. P. van der Aalst

0

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 Journal of Automated Reasoning article Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

4

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

1

citations
Automated Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Éléanore Meyer, Jürgen Giesl

0

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

7

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Nils Lommen, Jürgen Giesl

1

citations
Mixed-Integer Optimization for Loopless Flux Distributions in Metabolic Networks
2024 arXiv (Cornell University) preprint Biochemistry, Genetics and Molecular Biology Microbial Metabolic Engineering and Bioproduction Open access

João Dionísio, Tim Donkiewicz, Leon Eifler, Ambros Gleixner, Katrin Halbig, Ivo Hedtke, +9 more

89

citations