Panagiotou, K., Pasch, M., Wagner, M., 2019. Satisfiability Thresholds for Regular Occupation Problems.. https://doi.org/10.4230/lipics.icalp.2019.90