What Are Mini Cuts and How to Implement Them?