Timeline for Counting reduction from #SAT to #HornSAT?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:32 | history | edited | CommunityBot |
replaced http://cstheory.stackexchange.com/ with https://cstheory.stackexchange.com/
|
|
| Sep 27, 2012 at 10:01 | comment | added | David | Thank you very much for the pointer. It really helps me a lot. :) | |
| Sep 27, 2012 at 10:00 | vote | accept | David | ||
| Sep 26, 2012 at 23:46 | history | answered | Radu Curticapean | CC BY-SA 3.0 |