Jasper van Doornmalen
From MaRDI portal
Person:5349290
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Enabling research through the SCIP Optimization Suite 8.0 ACM Transactions on Mathematical Software | 2024-09-10 | Paper |
| Efficient propagation techniques for handling cyclic symmetries in binary programs INFORMS Journal on Computing | 2024-07-29 | Paper |
| A proof system for certifying symmetry and optimality reasoning in integer programming | 2023-11-07 | Paper |
| Integer programming models for round Robin tournaments European Journal of Operational Research | 2023-07-11 | Paper |
| Enabling Research through the SCIP Optimization Suite 8.0 | 2023-03-13 | Paper |
| A Unified Framework for Symmetry Handling | 2022-11-02 | Paper |
| Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs | 2022-03-02 | Paper |
| The SCIP Optimization Suite 8.0 | 2021-12-16 | Paper |
| Uniform Determinantal Representations SIAM Journal on Applied Algebra and Geometry | 2017-08-24 | Paper |
| The SCIP Optimization Suite 9.0 (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Jasper van Doornmalen
