Modeling Uncertainty: Constraint-Based Belief States in Imperfect-Information Games