1 repository on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.