User contributions for 84.114.18.215
Jump to navigation
Jump to search
1 July 2013
- 22:1222:12, 1 July 2013 diff hist +6,687 N Ehrenfeucht–Fraïssé game →Main idea: typo
26 June 2012
- 22:5922:59, 26 June 2012 diff hist +42,430 N Decomposition method (constraint satisfaction) →Decomposition methods: The example instance did not match the decomposition. Two variables were swapped.