@inproceedings{Chen_2016,
    doi = {10.1109/focs.2016.63},
    url = {https://doi.org/10.1109%2Ffocs.2016.63},
    year = {2016},
    month = {oct},
    publisher = {{IEEE}},
    author = {Hubie Chen and Matt Valeriote and Yuichi Yoshida},
    title = {Testing Assignments to Constraint Satisfaction Problems},
    booktitle = {2016 {IEEE} 57th Annual Symposium on Foundations of Computer Science ({FOCS})}
}

@inproceedings{Chen_2016, doi = {10.1109/focs.2016.63}, url = {https://doi.org/10.1109%2Ffocs.2016.63}, year = {2016}, month = {oct}, publisher = {{IEEE}}, author = {Hubie Chen and Matt Valeriote and Yuichi Yoshida}, title = {Testing Assignments to Constraint Satisfaction Problems}, booktitle = {2016 {IEEE} 57th Annual Symposium on Foundations of Computer Science ({FOCS})} }