Characterizing the Multi-Pass Streaming Complexity for Solving Boolean CSPs Exactly