1) Break type symmetry
2) Add branching priority for variables
3) Solve smaller and more constrained feasibility problems