The most commonly used term for this is lazy constraints (https://support.gurobi...

		salt4034 88 days ago \| parent \| context \| favorite \| on: No reachable chess position with more than 218 mov... The most commonly used term for this is lazy constraints (https://support.gurobi.com/hc/en-us/articles/360013197972-Ho...).