the procedure " assign " can be the exact ILP version or the fast heuristic described above. If we are not constrained to use the minimum number of state variables, and this is often the case, we can try different solutions for multiple values of N max ; increasing the number of state variable will very likely give a smaller number of constraints violations, but the number of state variables sh...