Hard Constrained Methods