Timeline for Algorithm for satisfiability of inequalities.
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 16, 2012 at 16:36 | vote | accept | Mark T | ||
| May 14, 2012 at 2:56 | history | answered | Brendan McKay | CC BY-SA 3.0 |