Finding Maximum Subsets of Relational Objects using SAT Decomposition

Authors

Bryan Pearce, Clemson University
Mary E. Kurz, Clemson University
Kavit Antani, Clemson University
Laine Mears, Clemson UniversityFollow

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