Publication Year: 2014
.

Pearce, B. Kurz, M. Antani, K., Mears, L. (2014), “Finding Maximum Subsets of Relational Objects using SAT Decomposition” Proceedings of Institution of Industrial Engineers Annual Conference, Montreal, Canada, May 31-June 4, 2014, Paper No. 1987. Accepted.