User contributions for 144.122.52.93
Jump to navigation
Jump to search
15 August 2014
- 14:5814:58, 15 August 2014 diff hist +305 2-satisfiability →Resolution and transitive closure current