Linear Programming and Extensions

• 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
• Solving the Kidney Exchange Problem Using Privacy-Preserving Integer Programming

  2022 conference-paper Computer Science Cryptography and Data Security Open access

  6

  citations
• Learning event-triggered control from data through joint optimization

  2021 IFAC Journal of Systems and Control article Computer Science Reinforcement Learning in Robotics Open access

  23

  citations
• Reduction of the sign problem near T=0 in quantum Monte Carlo simulations

  2020 Physical review. B./Physical review. B article Physics and Astronomy Advanced Condensed Matter Physics Open access

  8

  citations
• Value-based production planning in non-ferrous metal industries: Application in the copper industry

  2020 IISE Transactions article Engineering Process Optimization and Integration

  9

  citations

5 results