DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems | IEEE Conference Publication | IEEE Xplore