by hexomancer·9y ago·view on hn ↗Do you have a reference to a reputable source that proves the optimization version is cook-reducable to decision version?