Jasper van Doornmalen

From MaRDI portal
Person:5349290

Available identifiers

zbMath Open van-doornmalen.jasperMaRDI QIDQ5349290

List of research outcomes





PublicationDate of PublicationType
Enabling research through the SCIP Optimization Suite 8.02024-09-10Paper
Efficient propagation techniques for handling cyclic symmetries in binary programs2024-07-29Paper
A proof system for certifying symmetry and optimality reasoning in integer programming2023-11-07Paper
Integer programming models for round Robin tournaments2023-07-11Paper
Enabling Research through the SCIP Optimization Suite 8.02023-03-13Paper
A Unified Framework for Symmetry Handling2022-11-02Paper
Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs2022-03-02Paper
The SCIP Optimization Suite 8.02021-12-16Paper
Uniform Determinantal Representations2017-08-24Paper
The SCIP Optimization Suite 9.0N/APaper

Research outcomes over time

This page was built for person: Jasper van Doornmalen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5349290&oldid=11493832"
Powered by MediaWiki