ML Anthology

Khong, Minh Thanh

1 publications

IJCAI 2017 Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville