Theorie der einfachen Ungleichungen.

• Probabilistic Counterexamples Through the Ages

  2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  0

  citations
• A Divide-and-Conquer Approach to Variable Elimination in Linear Real Arithmetic

  2024 Lecture notes in computer science conference-paper Computer Science Polynomial and algebraic computation Open access

  3

  citations
• FMplex: A Novel Method for Solving Linear Real Arithmetic Problems

  2023 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

  5

  citations
• Extending the Fundamental Theorem of Linear Programming for Strict Inequalities

  2021 International Symposium on Symbolic and Algebraic Computation conference-paper Mathematics Advanced Optimization Algorithms Research

  2

  citations
• Avoiding redundant columns by adding classical Benders cuts to column generation subproblems

  2021 Discrete Optimization article Mathematics Advanced Optimization Algorithms Research Open access

  1

  citations

5 results