Definition in file stable.c.
Go to the source code of this file.
Functions | |
int | SetStableSetData (DSDP, SDPCone, int, int, EdgeMat[]) |
Given a graph, formulate maximum Stable Set problem and place data into solver. | |
int | StableRandomized (SDPCone, int, int, EdgeMat[]) |
Apply a randomized procedure to find feasible stable sets. | |
int | StableSet (int argc, char *argv[]) |
Formulate and solve the maximum Stable Set problem. |