Timeline for Reduce Subset-Sum to Sat
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 3, 2020 at 5:01 | comment | added | D.W.♦ | @Amy, ok, can you edit your question to reflect what you want to ask? Right now the headline question asks whether there is a reduction. I suggest you also tell us about what methods you already know of that you've rejected and why you rejected them. | |
| Nov 2, 2020 at 23:22 | comment | added | Amy | Thanks. So I do mean subset-sum to sat, not the other way around. Also I'm looking for a direct reduction, not the one implied by the cook levin theorem, and one that uses the sum function i mentioned. | |
| Nov 2, 2020 at 22:35 | history | answered | D.W.♦ | CC BY-SA 4.0 |