ParentFull threadhexomancer·Do you have a reference to a reputable source that proves the optimization version is cook-reducable to decision version?View on HN