A lattice-based approach for navigating design configuration spaces. (October 2019)