Optimization of simple tabular reduction for table constraints (2008)

by Christophe Lecoutre
Venue:In Proceedings of CP’08
Citations:14 - 7 self