@article{anintegerlinearprogrammingframeworkfor, title = {An Integer Linear Programming Framework for Mining Constraints from Data}, author = {Tao Meng and Kai-Wei Chang}, year = {2020}, eprint = {2006.10836}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2006.10836v2}, }