Keyword:decomposition

Publications
Extended formulations for the min-max-min problem with few recourse solutions Marco Silva, Ayse Nur Arslan and Michael Poss EasyChair Preprint 2493
Coordinated railway traffic rescheduling with the Resource Conflict Graph model Ambra Toletti, Marco Laumanns and Ulrich Weidmann EasyChair Preprint 884
Title Overlapping Communities Discovery and Improvement Rong Yang In:Proceedings of 38th International Conference on Computers and Their Applications
Compositional Verification of Security Properties for Embedded Execution Platforms Christoph Baumann, Oliver Schwarz and Mads Dam In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems