Document Type
Conference Proceeding
Publication Date
5-1-2014
Publication Title
Proceedings of the 2014 Industrial and Systems Engineering Research Conference
Recommended Citation
Pearce, Bryan; Kurz, Mary E.; Antani, Kavit; and Mears, Laine, "Finding Maximum Subsets of Relational Objects using SAT Decomposition" (2014). Publications. 16.
https://open.clemson.edu/auto_eng_pub/16
COinS