User menu

Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints

  • Open access
  • PDF
  • 140.91 K
Bibliographic reference Le Charlier, Baudouin ; Khong, Minh Thanh ; Lecoutre, Christophe ; Deville, Yves. Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints.Twenty-Sixth International Joint Conference on Artificial Intelligence (Melbourne, Australia, du 19/8/2017 au 26/8/2017). In: International Joint Conference on Artificial Intelligence. Proceedings, Vol. 1, p. 681-687 (2017)
Permanent URL http://hdl.handle.net/2078.1/190049