From

Institution

Field

Type

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

Reset

Papers matching “mixed-integer linear programming” 8

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
2022 Machine Learning article Computer Science Adversarial Robustness in Machine Learning Open access

Holger H. Hoos, Jan N. van Rijn

7

citations
An Integer Programming Approach to Deep Neural Networks with Binary Activation Functions
2020 arXiv (Cornell University) preprint Computer Science Neural Networks and Applications Open access

Bubacarr Bah, Jannis Kurtz

8

citations
Artifact for "Shifting-based Optimizable Linear Relaxations for General Activation Functions"
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Philipp Kern, László Antal, Erika Abraham, Carsten Sinz

0

citations
Artifact for "Shifting-based Optimizable Linear Relaxations for General Activation Functions"
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Philipp Kern, László Antal, Erika Ábrahám, Carsten Sinz

0

citations
Artifact for "Shifting-based Optimizable Linear Relaxations for General Activation Functions"
2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science Formal Methods in Verification Open access

Philipp Kern, László Antal, Erika Abraham, Carsten Sinz

0

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

10

citations
Under-Approximating Expected Total Rewards in POMDPs
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Alexander Bork, Joost-Pieter Katoen, Tim Quatmann

1

citations
A Risk-Sensitive Task Offloading Strategy for Edge Computing in Industrial Internet of Things
2020 Research Square preprint Computer Science IoT and Edge/Fog Computing Open access

Xiaoyu Hao, Ruohai Zhao, Tao Yang, Yulin Hu, Bo Hu, Yuhe Qiu

0

citations

8 results