Publications

Journal Articles

  1. M. Sinnl, An iterative exact algorithm for the weighted fair sequences problem, Computers and Operations Research, 148, 2022 (technical report)
  2. E. Gaar, M. Sinnl, A scaleable projection-based branch-and-cut algorithm for the p-center problem, European Journal of Operational Research, 303(1):78-98, 2022 (technical report)
  3. M. Leiter, I. Ljubic, M. Monaci, M. Sinnl, K. Taninmis, An exact method for fortification games, European Journal of Operational Research, 2022 (technical report)
  4. K. Taninmis, M. Sinnl, A branch-and-cut algorithm for submodular interdiction games, INFORMS Journal on Computing, 34(5): 2634-2657, 2022 (technical report)
  5. M. Sinnl, Exact and heuristic algorithms for the maximum weighted submatrix coverage problem, European Journal of Operational Research, 298(3): 821-833,2022
  6. M. Sinnl, Mixed-Integer Programming Approaches for the Time-Constrained Maximal Covering Routing Problem, OR Spectrum, 2021 (technical report)
  7. M. Sinnl, A note on computational approaches for the antibandwidth problem, Central European Journal of Operations Research, 2020 (technical report)
  8. M. Kahr, M. Leitner, M. Ruthmair and M. Sinnl, Benders decomposition for competitive influence maximization in (social) networks. Omega - International Journal of Management Science, 100, 2020
  9. E. Güney, M. Leitner, M. Ruthmair and M. Sinnl, Lage-Scale Influence Maximization via Maximal Covering Location. European Journal of Operational Research, 2020 (technical report)
  10. E. Alvarez-Miranda and M. Sinnl, Exact and heuristic algorithms for the weighted total domination problem, Computers and Operations Research, 2020 (technical report)
  11. E. Alvarez-Miranda, M. Goycoleea, I. Ljubic and M. Sinnl, The Generalized Reserve Set Covering Problem with Connectivity and Buffer Requirements, European Journal of Operational Research, 289(3):1013-1029, 2021 (technical report)
  12. M. Sinnl, Algorithmic expedients for the S-labeling problem, Computers and Operations Research, 108:201-212, 2019 (technical report)
  13. E. Alvarez-Miranda and M. Sinnl, An exact solution framework for the multiple gradual cover location problem, Computers and Operations Research, 108:92-96, 2019 (technical report)
  14. E. Alvarez-Miranda and M. Sinnl, A note on computational aspects of the Steiner traveling salesman problem, International Transactions in Operations Research, 26(4):1396-1401, 2018 (technical report)
  15. E. Alvarez-Miranda and M. Sinnl, Mixed-Integer Programming Approaches for the Tree t-spanner Problem, Optimization Letters, 13(7):1693-1709, 2019, (technical report)
  16. E. Alvarez-Miranda and M. Sinnl, A Branch-and-Cut Algorithm for the Maximum Covering Cycle Problem. Annals of Operations Research, 284(2):487-499, 2020. (technical report)
  17. M. Fischetti, I. Ljubic, M. Monaci and M. Sinnl, Interdiction Games and Monotonicity. INFORMS Journal on Computing, 31(2):390-410, 2019. (technical report)
  18. E. Alvarez-Miranda, M. Luipersbeck and M. Sinnl, An exact solution framework for the minimum cost dominating tree problem. Optimization Letters, 12(7):1669-1681, 2018 (technical report)
  19. R. Fritze, A. Graser and M. Sinnl, Combining spatial information and optimization for locating emergency medical service stations: A case study for Lower Austria, International Journal of Medical Informatics, 111:24-36, 2018
  20. M. Leitner, I. Ljubic, M. Luipersbeck and M. Sinnl, Decomposition methods for the two-stage stochastic Steiner tree problem. Computational Optimization and Applications, 69(3):713-752, 2017. (technical report)
  21. M. Fischetti, M. Monaci and M. Sinnl, A dynamic reformulation heuristic for Generalized Interdiction Problems. European Journal of Operational Research, 267(1):40-51, 2018, (technical report)
  22. M. Leitner, I. Ljubic, M. Luipersbeck and M. Sinnl, A dual-ascent-based branch-and-bound framework for the prize-collecting Steiner tree and related problems. INFORMS Journal on Computing, 30(2):402-420, 2018, (technical report)
  23. M. Fischetti, I. Ljubic, M. Monaci and M. Sinnl, Intersection Cuts for Bilevel Optimization. Mathematical Programming, 2017
  24. E. Alvarez-Miranda, M. Luipersbeck and M. Sinnl, Gotta (efficiently) catch them all: Pokemon GO meets Orienteering Problems. European Journal of Operational Research, 265(2):779-794, 2017 (technical report)
  25. E. Alvarez-Miranda and M. Sinnl, A Relax-and-Cut Framework for Solving Large-Scale Maximum Weight Connected Subgraph Problems. Computers and Operations Research, 87:63-82, 2017, (technical report)
  26. M. Fischetti, I. Ljubic, M. Monaci and M. Sinnl, A new general-purpose algorithm for mixed-integer bilevel linear programs. Operations Research, 65(6):1615-1637, 2017, (technical report)
  27. F. Furini, I. Ljubic and M. Sinnl, An Effective Dynamic Programming Algorithm for the Minimum-Cost Maximal Knapsack Packing Problem, European Journal of Operational Research, 262(2):438-44, 2017, (technical report)
  28. M. Leitner, I. Ljubic, J.J. Salazar-Gonzalez and M. Sinnl, An Algorithmic Framework for the Exact Solution of Tree-Star Problems, European Journal of Operational Research, 261(1):54-66, 2017, (technical report)
  29. E. Alvarez-Miranda and M. Sinnl, Lagrangian and Branch-and-Cut Approaches for Upgrading Spanning Tree Problems. Computers and Operations Research, 83:13-27, 2017 (technical report)
  30. E. Alvarez-Miranda, I. Ljubic, M. Luipersbeck and M. Sinnl, Solving Minimum-Cost Shared Arborescence Problems, European Journal of Operational Research, 258(3): 887-901, 2016 (technical report)
  31. M. Fischetti, M. Leitner, I. Ljubic, M. Luipersbeck, M. Monaci, M. Resch, D, Salvagnin and M. Sinnl, Thinning out Steiner trees: A node based model for uniform edge costs, Mathematical Programming Computation, 9(2):203-229, 2017, (technical report)
  32. M. Leitner, I. Ljubic, J.J. Salazar-Gonzalez and M. Sinnl, The connected facility location polytope, Discrete Applied Mathematics, 2016 (technical report)
  33. E. Alvarez-Miranda, H. Farhan, M. Luipersbeck and M. Sinnl, A bi-objective network design approach for discovering functional modules linking Golgi apparatus fragmentation and neuronal death. Annals of Operations Research, 2016 (technical report)
  34. M. Fischetti, I. Ljubic and M. Sinnl, Benders decomposition without separability: A computational study for capacitated facility location problems. European Journal of Operational Research, 253(3): 557-569, 2016
  35. M. Sinnl and I. Ljubic, A Node-Based Layered Graph Approach for the Steiner Tree Problem with Revenues, Budget and Hop-Constraints. Mathematical Programming Computation, 8(4), 461-490, 2016, (technical report)
  36. M. Fischetti, I. Ljubic and M. Sinnl, Redesigning Benders Decomposition for Large Scale Facility Location. Management Science, 63(7):2146-2162, 2017, (technical report)
  37. M. Leitner, I. Ljubic, M. Sinnl and A. Werner, ILP heuristics and a new exact method for bi-objective 0/1 ILPs: Application to FTTx-network design. Computers and Operations Research, Volume 72, 128-146, 2016 (technical report)
  38. E. Alvarez-Miranda, H. Farhan, and M. Sinnl, Alteration of Golgi structure by stress: a link to neurodegeneration?. Frontiers in Neuroscience, Volume 9, 2015
  39. M. Leitner, I. Ljubic, and M. Sinnl. A computational study of exact approaches for the bi-objective prize-collecting Steiner tree problem. INFORMS Journal on Computing, Volume 27, Issue 1, pages 118-134, 2014

Refereed Conference Proceedings

  1. E. Gaar, J. Lee, I. Ljubic, M. Sinnl, K. Taninmis, SOCP-based disjunctive cuts for a class of integer nonlinear bilevel programs, Proceedings of IPCO 2022, LNCS, Volume 13265, 262-276, (technical report)
  2. M. Chromy, M. Sinnl, On Solving the Minimum Common String Partition Problem by Decision Diagrams, Proceedings of the 10th International Conference on Operations Research and Enterprise Systems (ICORES 2021), 2022
  3. D. An, S. Parragh, M. Sinnl and F. Tricoire, A LP Relaxation based Matheuristic for Multi-objective Integer Programming, Proceedings of the 10th International Conference on Operations Research and Enterprise Systems (ICORES 2022), 2021
  4. K. Fazekas, M. Sinnl, A. Biere, S. Parragh, Duplex Encoding of Staircase At-Most-One Constraints for the Antibandwidth Problem, Proceedings of CPAIOR 2020, LNCS, 2020
  5. M. Fischetti, I. Ljubic, M. Monaci and M. Sinnl, Intersection Cuts for Bilevel Optimization. Proceedings of IPCO 2016, LNCS, Volume 9682, 77-88, Springer, 2016 (technical report)
  6. E. Alvarez-Miranda, M. Luipersbeck and M. Sinnl, Optimal Upgrading Schemes for Effective Shortest Paths in Networks. Proceedings of CPAIOR 2016, LNCS, Volume 9676, 406-420, Springer, 2016 (technical report)
  7. F. Furini, I. Ljubic, and M. Sinnl, ILP and CP Formulations for the Lazy Bureaucrat Problem. Proceedings of CPAIOR 2015, LNCS, Volume 9075, 255-270, Springer, 2015
  8. M. Leitner, I. Ljubic, J.J. Salzar-Gonzalez and M. Sinnl, On the asymmetric connected facility location polytope. Proceedings of ISCO 2014, LNCS, Volume 8596, 371-383, Springer, 2014
  9. M. Leitner, I. Ljubic, and M. Sinnl. Solving the bi-objective prize-collecting Steiner tree problem with the epsilon-constraint method. Proceedings of INOC 2013, volume 41 of ENDM, pages 181-188, Elsevier, 2013.
  10. M. Leitner, I. Ljubic, M. Sinnl, and A. Werner. On the two-architecture connected facility location problem. Proceedings of INOC 2013, volume 41 of ENDM, pages 359-366, Elsevier, 2013.

Other Articles

  1. E. Gaar, M. Sinnl, Experiments with graph convolutional networks for solving the vertex p-center problem, Accepted for presentation at the Data Science meets Optimization Workshop at International Joint Conferences on Artificial Intelligence, 2021 (technical report)
  2. M. Sinnl and I. Ljubic, A New Layered Graph Approach to Hop- and Diameter-constrained Spanning/Steiner Tree Problems in Graphs. Accepted for presentation at the Workshop of the 11th DIMACS implementation challenge, 2014
  3. M. Fischetti, M. Leitner, M. Luipersbeck, I. Ljubic, M. Monaci, D. Salvagnin, M. Sinnl and M. Resch, Thinning Out Steiner Trees, Accepted for presentation at the Workshop of the 11th DIMACS implementation challenge, 2014

Submitted Articles

  • F. Bökler, S. Parragh, M. Sinnl, F. Tricoire, An outer approximation algorithm for multiobjective mixed-integer linear programming (technical report)

  • E. Gaar, M. Sinnl, Exact solution approaches for the discrete alpha-neighbor p-center problemm, (technical report)

PhD Thesis

  • M. Sinnl, Bi-objective Network Design, University of Vienna, Department of Statistics and Operations Research, August 2015. Supervised by I. Ljubic and I. Bomze

Master Thesis

  • M. Sinnl, Branch-and-price for the Steiner Tree Problem with Revenues, Budget and Hop Constraints, Vienna University of Technology, Institute of Computer Graphics and Algorithms, August 2011. Supervised by G. Raidl and M. Leitner