Timeline for How many sets of vectors can be represented as the solutions of a Horn-SAT instance?
Current License: CC BY-SA 3.0
2 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/
|
|
| Nov 24, 2014 at 21:05 | history | answered | Martin Seymour | CC BY-SA 3.0 |