Yasol

swMATH41488MaRDI QIDQ5973563FDOQ5973563

Author name not available (Why is that?)

Official website: http://tm-server-2.wiwi.uni-siegen.de/t3-q-mip/index.php?id=36

Cited In (2)

• Towards an algorithmic synthesis of thermofluid systems
• Multistage robust discrete optimization via quantified integer programming

This page was built for software: Yasol