Branch-and-check