User contributions for 141.248.3.1
Jump to navigation
Jump to search
23 July 2012
- 21:5021:50, 23 July 2012 diff hist +25,567 N Boolean satisfiability problem →Self-reducibility: - very small correction - spelling of "unsatisfiable"