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
DOI
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
DOI
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
DOI
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
DOI
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
arXiv
DOI