Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints.

Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville

Browse the full IJCAI paper archive.