Contact

Room
3037
Phone
+49 30 84185-418
Email

Publications

2023
Enabling research through the SCIP optimization suite 8.0 ACM Transactions on Mathematical Software, 49(2), pp. 1-21, 2023 Ksenia Bestuzheva, Mathieu Besançon, Wei-Kun Chen, Antonia Chmiela, Tim Donkiewicz, Jasper Doornmalen, Leon Eifler, Oliver Gaul, Gerald Gamrath, Ambros Gleixner, Leona Gottwald, Christoph Graczyk, Katrin Halbig, Alexander Hoen, Christopher Hojny, Rolf Hulst, Thorsten Koch, Marco Lübbecke, Stephen J. Maher, Frederic Matter, Erik Mühmer, Benjamin Müller, Marc Pfetsch, Daniel Rehfeldt, Steffan Schlein, Franziska Schlösser, Felipe Serrano, Yuji Shinano, Boro Sofranac, Mark Turner, Stefan Vigerske, Fabian Wegscheider, Philipp Wellner, Dieter Weninger, Jakob Witzig BibTeX
DOI
Sofranac, Boro
Learning cuts via enumeration oracles Proceedings of Conference on Neural Information Processing Systems, 2023 Daniel Thuerck, Boro Sofranac, Marc Pfetsch, Sebastian Pokutta BibTeX
Sofranac, Boro
2022
Accelerating domain propagation: An efficient GPU-parallel algorithm over sparse matrices Parallel Computing, Vol.109, p. 102874, 2022 Boro Šofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
Sofranac, Boro
An Algorithm-independent Measure of Progress for Linear Constraint Propagation Constraints, Vol.27, pp. 432-455, 2022 Boro Šofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
Sofranac, Boro
2021
An Algorithm-Independent Measure of Progress for Linear Constraint Propagation 27th International Conference on Principles and Practice of Constraint Programming (CP 2021), pp. 52:1-52:17, Vol.210, Leibniz International Proceedings in Informatics (LIPIcs), 2021 (epub ahead of print) Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
DOI
Sofranac, Boro
2020
Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices 2020 IEEE/ACM 10th Workshop on Irregular Applications: Architectures and Algorithms (IA3), pp. 1-11, 2020 Boro Sofranac, Ambros Gleixner, Sebastian Pokutta BibTeX
arXiv
DOI
Sofranac, Boro