paraF: Parametric flow algorithm implementation
This is an implementation of the Gallo-Grigoriadis-Tarjan algorithm and its variations used in an experimental study described in MSR-TR-2006-77.
This is an implementation of the Gallo-Grigoriadis-Tarjan algorithm and its variations used in an experimental study described in MSR-TR-2006-77.
The Cryptography, Security, and Applied Mathematics (CSAM) group conducts research on theoretical and practical aspects of cryptography, computational complexity, formal approaches to system and software security, data mining and machine learning with applications to security,…