From

Institution

Field

Type

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

Reset

Papers matching “integer programming” 281

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

KoAT: Automatic Complexity and Termination Analysis of Integer Programs
2026 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

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

0

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
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
Mixed-Integer Dynamic Scheduling Optimization for Demand Side Management
2020 Computer-aided chemical engineering/Computer aided chemical engineering book-chapter Engineering Smart Grid Energy Management

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

6

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
Integer Natural Evolution Strategies
2026 Lecture notes in computer science conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access

Jacob de Nobel, Diederick Vermetten, Hao Wang, Ofer M. Shir, Michael Emmerich, Thomas Bäck

0

citations
Evolution Strategies' Genetic Operators Revisited Over Integer Search-Spaces
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Metaheuristic Optimization Algorithms Research Open access

Diederick Vermetten, Ofer M. Shir, Michael Emmerich, Thomas Bäck

0

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Fabian Meyer, Marcel Hark, Jürgen Giesl

20

citations
Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Marcel Hark, Jürgen Giesl

0

citations
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

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

6

citations
Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

1

citations
Principled Data Augmentation for Learning to Solve Quadratic Programming Problems
2025 neural information processing systems conference-paper Mathematics Advanced Optimization Algorithms Research Open access

Chendi Qian, Christopher Morris

0

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
Simultaneous mixed-integer dynamic scheduling of processes and their energy systems
2021 Repository for Publications and Research Data (ETH Zurich) article Engineering Process Optimization and Integration Open access

Florian Joseph Baader, André Bardow, Manuel Dahmen

0

citations
On modelling effects in the battery and thermal storage scheduling problem
2020 Journal of Building Performance Simulation article Engineering Integrated Energy Systems Optimization Open access

Alexander Murray, Guanru Pan, Dirk Müller, Veit Hagenmeyer

5

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
Exact stochastic constraint optimisation with applications in network analysis
2021 Artificial Intelligence article Computer Science Constraint Satisfaction and Optimization Open access

Anna L. D. Latour, Behrouz Babaki, Daniël Fokkinga, Marie Anastacio, Holger H. Hoos, Siegfried Nijssen

5

citations
A branch-and-bound algorithm with growing datasets for large-scale parameter estimation
2024 European Journal of Operational Research article Mathematics Advanced Optimization Algorithms Research Open access

Susanne Saß, Alexander Mitsos, Dominik Bongartz, Ian H. Bell, Nikolay Ivanov Nikolov, Angelos Tsoukalas

7

citations
SARAMS: Split-Aware Joint Resource Allocation for Multi-Monostatic Sensing
2026 arXiv (Cornell University) preprint Engineering Radar Systems and Signal Processing Open access

Maximiliano Rivera Figueroa, Pradyumna Kumar Bishoyi, Marina Petrova

0

citations
A branch and bound algorithm for robust binary optimization with budget uncertainty
2023 Mathematical Programming Computation article Decision Sciences Risk and Portfolio Optimization Open access

Christina Büsing, Timo Gersing, Arie M. C. A. Koster

9

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
Branch-Price-and-Cut
2026 Springer eBooks book-chapter Computer Science Complexity and Algorithms in Graphs Open access

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

0

citations
Recycling valid inequalities for robust combinatorial optimization with budgeted uncertainty
2024 Mathematical Programming article Decision Sciences Risk and Portfolio Optimization Open access

Christina Büsing, Timo Gersing, Arie M. C. A. Koster

1

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
Optimal Eco-Routing for Hybrid Vehicles With Powertrain Model Embedded
2021 IEEE Transactions on Intelligent Transportation Systems article Engineering Electric and Hybrid Vehicle Technologies Open access

Adrian Caspari, Steffen R. Fahr, Alexander Mitsos

12

citations