OptimalMatrixCompletion (julia): A custom branch-and-bound algorithm for solving low-rank matrix completion to certifiable optimality 
Keywords: low-rank-matrix-completion|disjunctive-programming|branch-and-bound|semidefinite-optimization