Efficient Reification of Table Constraints.

Minh Thanh Khong, Yves Deville, Pierre Schaus, Christophe Lecoutre

Browse the full ICTAI paper archive.