Publication Year: 2016
.
[PDF]  [External Link]

Bryan Pearce, Mary E. Kurz, Keith Phelan, Joshua Summers, Jorg Schulte, Wolfgang Dieminger, Kilian Funk, “Configuration Management Through Satisfiability”, Procedia CIRP, Volume 44, 2016, Pages 204-209, ISSN 2212-8271. (http://www.sciencedirect.com/science/article/pii/S2212827116004091) in Conf Proc