hard constraints

4 papers