From

Institution

Field

Type

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

Reset

Papers matching “integer programming” 44

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

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
Data-Driven Generation of Mixed-Integer Linear Programming Formulations for Model Predictive Control of Hybrid Energy Storage Systems using detailed nonlinear Simulation Models
2022 Open Source Modelling and Simulation of Energy Systems (OSMSES) conference-paper Energy Hybrid Renewable Energy Systems

Alexander Holtwerth, André Xhonneux, Dirk Müller

3

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
Operational optimization of a 4th generation district heating network with mixed integer quadratically constrained programming
2022 Energy article Engineering Integrated Energy Systems Optimization

Dominik Hering, Michael R. Faller, André Xhonneux, Dirk Müller

16

citations
Operational optimization of a 4th generation district heating network using mixed integer quadratically constrained programming
2022 International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS) conference-paper Engineering Integrated Energy Systems Optimization

Dominik Hering, Michael R. Faller, André Xhonneux, Dirk Müller

0

citations
Influence of Cost Functions on Optimal Design of Heat Pump Systems in Mixed-Integer Linear Programming
2022 International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS) conference-paper Engineering Integrated Energy Systems Optimization

Hannah Krützfeldt, Christian Vering, Philipp Mehrfeld, Dirk Müller

0

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
Improving Automatic Complexity Analysis of Integer Programs
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jürgen Giesl, Nils Lommen, Marcel Hark

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
An Image-Based Approach to Detecting Structural Similarity Among Mixed Integer Programs
2022 INFORMS journal on computing article Mathematics Advanced Optimization Algorithms Research

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

5

citations
Improving Automatic Complexity Analysis of Integer Programs
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

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

10

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
Simultaneous mixed‐integer dynamic scheduling of processes and their energy systems
2022 AIChE Journal article Engineering Process Optimization and Integration Open access

Florian Joseph Baader, André Bardow, Manuel Dahmen

12

citations
The smoothed number of Pareto-optimal solutions in bicriteria integer optimization
2022 Mathematical Programming article Computer Science Complexity and Algorithms in Graphs Open access

René Beier, Heiko Röglin, Clemens Rösner, Berthold Vöcking

2

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

0

citations
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Florian Frohn, Jürgen Giesl

16

citations
The Line-less Mobile Assembly System Simultaneous Scheduling and Location Problem
2022 Procedia CIRP article Engineering Scheduling and Optimization Algorithms Open access

Armin F. Buckhorst, M.K.B. do Canto, Robert Heinrich Schmitt

8

citations
MIP-GNN: A Data-Driven Framework for Guiding Combinatorial Solvers
2022 arXiv (Cornell University) preprint Mathematics Advanced Optimization Algorithms Research Open access

Elias B. Khalil, Andrea Lodi

5

citations
Demand-responsive Scheduling in Railway Transportation
2022 International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS) conference-paper Engineering Railway Systems and Energy Efficiency Open access

Christoph Grüne, Stephan Zieger

1

citations
The demand response potential in copper production
2022 Journal of Cleaner Production article Engineering Smart Grid Energy Management Open access

Fritz T.C. Röben, Diran Liu, Markus Andreas Reuter, Manuel Dahmen, André Bardow

30

citations
Development of a Long-Term Operational Optimization Model for a Building Energy System Supplied by a Geothermal Field
2022 Journal of Thermal Science article Engineering Integrated Energy Systems Optimization Open access

Alexander Kümpel, Phillip Stoffel, Dirk Müller

19

citations
Minimizing Airplane Boarding Time
2022 Transportation Science article Engineering Air Traffic Management and Optimization

Felix J. L. Willamowski, Andreas M. Tillmann

13

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Cost-neutral reduction of infection risk in picker-to-parts warehousing systems
2022 OR Spectrum article Engineering Advanced Manufacturing and Logistics Optimization Open access

Maximilian Löffler, Michael Schneider, Ivan Žulj

2

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

1

citations