van Doornmalen, Jasper

1. The SCIP Optimization Suite 9.0
   2024/02/27 by Bolusani, Suresh, Besançon, Mathieu, Bestuzheva, Ksenia +28 · 28 citations
   #65Y05 #90C05 #90C10 #90C11 #90C30 #90C90 #FOS: Mathematics #Optimization and Control (math.OC)
2. A Unified Framework for Symmetry Handling
   2022/11/02 by Jasper van Doornmalen, Christopher Hojny, van Doornmalen, Jasper +1 · 4 citations
   Computer Science · Mathematics · #90C09 #90C27 #90C57 #Advanced Optimization Algorithms Research #FOS: Mathematics #Matrix Theory and Algorithms #Metaheuristic Optimization Algorithms Research #Optimization and Control (math.OC)
3. A proof system for certifying symmetry and optimality reasoning in integer programming
   2023/11/07 by van Doornmalen, Jasper, Eifler, Leon, Gleixner, Ambros +1 · 1 citation
   #05-XX COMBINATORICS #90-XX OPERATIONS RESEARCH #FOS: Mathematics #MATHEMATICAL PROGRAMMING #Optimization and Control (math.OC)