%0 Conference Paper %1 conf/ijcai/CharlierKLD17 %A Charlier, Baudouin Le %A Khong, Minh Thanh %A Lecoutre, Christophe %A Deville, Yves %B IJCAI %D 2017 %E Sierra, Carles %I ijcai.org %K dblp %P 681-687 %T Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#CharlierKLD17 %@ 978-0-9992411-0-3

@inproceedings{conf/ijcai/CharlierKLD17, added-at = {2022-10-02T00:00:00.000+0200}, author = {Charlier, Baudouin Le and Khong, Minh Thanh and Lecoutre, Christophe and Deville, Yves}, biburl = {https://www.bibsonomy.org/bibtex/2a93fed352be8b9b7c6b9f85610f52288/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2017}, editor = {Sierra, Carles}, ee = {https://doi.org/10.24963/ijcai.2017/95}, interhash = {2c1d0fb0fec6920ba53044b4f40d1e75}, intrahash = {a93fed352be8b9b7c6b9f85610f52288}, isbn = {978-0-9992411-0-3}, keywords = {dblp}, pages = {681-687}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:29:47.000+0200}, title = {Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2017.html#CharlierKLD17}, year = 2017 }