Circuit generation for efficient projection onto polyhedral sets in first-order methods | IEEE Conference Publication | IEEE Xplore