Accelerating combinatorial filter reduction through constraints