@inproceedings{ijcai2017p95, author = {Baudouin Le Charlier and Minh Thanh Khong and Christophe Lecoutre and Yves Deville}, title = {Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {681--687}, year = {2017}, doi = {10.24963/ijcai.2017/95}, url = {https://doi.org/10.24963/ijcai.2017/95}, }