Formal paper on 4x4 Boggle Maximization via Branch & Bound, plus code samples - View it on GitHub