The following pages link to Jasper van Doornmalen (Q5349290):
Displayed 7 items.
- Uniform Determinantal Representations (Q5349291) (← links)
- Integer programming models for round Robin tournaments (Q6113304) (← links)
- The SCIP Optimization Suite 8.0 (Q6385890) (← links)
- Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs (Q6392574) (← links)
- A Unified Framework for Symmetry Handling (Q6415955) (← links)
- Enabling Research through the SCIP Optimization Suite 8.0 (Q6429363) (← links)
- A proof system for certifying symmetry and optimality reasoning in integer programming (Q6458365) (← links)