TY  - RPRT
TI  - Testing Assignments to Constraint Satisfaction Problems
AU  - Hubie Chen
AU  - Matt Valeriote
AU  - Yuichi Yoshida
PY  - 2016
UR  - https://arxiv.org/abs/1608.03017
ID  - 1608.03017
ER  -