2 papers
math.CT2026
A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs
Jens Kosiol, Steffen Zschaler
We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.
cs.SE2025
Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
Maximilian Kratz, Steffen Zschaler, Jens Kosiol +1
Once an optimisation problem has been solved, the solution may need adaptation when contextual factors change. This challenge, also known as reoptimisation, has been addressed in v…