Compact representations for the design of quantum logic (2017)