[IEEE 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Boston, MA (2017.11.6-2017.11.8)] 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Efficient Reification of Table Constraints
Khong, Minh Thanh, Deville, Yves, Schaus, Pierre, Lecoutre, ChristopheYear:
2017
Language:
english
DOI:
10.1109/ICTAI.2017.00029
File:
PDF, 183 KB
english, 2017