Timeline for Horn clauses and satisfiability
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 12, 2010 at 19:51 | vote | accept | Akshar Prabhu Desai | ||
| Aug 9, 2010 at 14:47 | answer | added | François G. Dorais | timeline score: 10 | |
| Aug 9, 2010 at 13:05 | history | edited | Kaveh |
edited tags
|
|
| Aug 9, 2010 at 13:03 | history | edited | Kaveh |
edited tags
|
|
| Aug 9, 2010 at 12:08 | history | edited | Charles Matthews | CC BY-SA 2.5 |
copy edit
|
| Aug 9, 2010 at 11:20 | answer | added | darij grinberg | timeline score: 6 | |
| Aug 9, 2010 at 10:52 | history | asked | Akshar Prabhu Desai | CC BY-SA 2.5 |