From

Institution

Field

Type

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

Reset

Papers matching “integer programming” 258

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Targeting Completeness: Automated Complexity Analysis of Integer Programs
2026 Journal of Automated Reasoning article Computer Science Software Engineering Research Open access

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

4

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

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

0

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Lecture notes in computer science conference-paper 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 Formal Methods in Verification Open access

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

0

citations
Modular Automatic Complexity Analysis of Recursive Integer Programs
2026 Lecture notes in computer science conference-paper Computer Science Constraint Satisfaction and Optimization

Nils Lommen, Jürgen Giesl

1

citations
Mixed-Integer Optimization for Loopless Flux Distributions in Metabolic Networks
2024 arXiv (Cornell University) preprint Computer Science Constraint Satisfaction and Optimization Open access

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

89

citations
A multistage stochastic mixed integer optimization model for the design of a renewable fuel supply chain network under demand uncertainty
2026 Computers & Chemical Engineering article Business, Management and Accounting Sustainable Supply Chain Management Open access

Mina Farajiamiri, Jörn‐Christian Meyer, Grit Walther

0

citations
A multistage stochastic mixed integer optimization model for the design of a renewable fuel supply chain network under demand uncertainty - Supplementary Materials
2025 Zenodo (CERN European Organization for Nuclear Research) dataset Open access

0

citations
A multistage stochastic mixed integer optimization model for the design of a renewable fuel supply chain network under demand uncertainty - Supplementary Materials
2025 Zenodo (CERN European Organization for Nuclear Research) dataset Open access

0

citations
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Nils Lommen, Fabian Meyer, Jürgen Giesl

7

citations
Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 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 Formal Methods in Verification Open access

Nils Lommen, Jürgen Giesl

1

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Jürgen Giesl, Nils Lommen, Marcel Hark

0

citations
An Image-Based Approach to Detecting Structural Similarity Among Mixed Integer Programs
2022 INFORMS journal on computing article Engineering Scheduling and Optimization Algorithms

Zachary Steever, Chase C. Murray, Junsong Yuan, Mark H. Karwan, Marco E. Lübbecke

5

citations
Model for dimensioning borehole heat exchanger applied to mixed-integer-linear-problem (MILP) energy system optimization
2024 Geothermal Energy article Engineering Integrated Energy Systems Optimization Open access

Tobias Blanke, Holger Born, Bernd Döring, Joachim Göttsche, Ulf Herrmann, Jérôme Frisch, +1 more

3

citations
Determination of Locational Marginal Redispatch Prices of a Mixed-Integer Congestion Management Problem
2024 International Conference on the European Energy Market (EEM) conference-paper Engineering Electric Power System Optimization

Jana Einsiedler, Albert Moser

0

citations
Mixed-Integer Quadrangulation
2023 ACM eBooks book-chapter Computer Science Computational Geometry and Mesh Generation

David Bommes, Henrik Zimmer, Leif P. Kobbelt

2

citations
Satisfiability Modulo Exponential Integer Arithmetic
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

4

citations
Persistency of Linear Programming Relaxations for the Stable Set Problem
2020 Lecture notes in computer science conference-paper Computer Science Complexity and Algorithms in Graphs Open access

Elisabeth Rodríguez-Heck, Karl Stickler, Matthias Walter, Stefan Weltge

2

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 other Computer Science Formal Methods in Verification

Marcel Hark, Jürgen Giesl, Fabian Meyer

2

citations
Intrinsic mixed-integer polycubes for hexahedral meshing
2022 Computer Aided Geometric Design article Computer Science Computational Geometry and Mesh Generation

Manish Mandad, Ruizhi Chen, David Bommes, Marcel Campen

16

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer

10

citations
Mixed-Integer Dynamic Scheduling Optimization for Demand Side Management
2020 Computer-aided chemical engineering/Computer aided chemical engineering book-chapter Engineering Process Optimization and Integration

Florian Joseph Baader, Maximilian Mork, André Xhonneux, Dirk Müller, André Bardow, Manuel Dahmen

6

citations
KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 Zenodo (CERN European Organization for Nuclear Research) software Open access

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

1

citations
Improving Decision Quality for Energy System Design via Stochastic Goal Programming with Data-Driven MILPs
2026 SSRN Electronic Journal preprint Engineering Integrated Energy Systems Optimization Open access

Hendrik Schricker, Frederike Kuperjans, Andreas Kämper, Christiane Reinert, Niklas V. von der Assen

1

citations