https://123dok.net/document/q5menljy-using-constraint-programming-to-verify-dopler-variability-models.html