techniques for advanced constraints 2817109