An improved exact algorithm and an NP-completeness proof for sparse matrix bipartitioning. - Timon E. Knigge; Rob H. Bisseling (Parallel Comput., 2020)