mutual exclusion binary constraints discovery

structural constraints