user: keenerd
1972 karma | created 17 years ago
recent submissions
7 years ago|discuss
7 years ago|discuss
7 years ago|discuss
7 years ago|discuss
7 years ago|discuss
7 years ago|discuss
7 years ago|discuss
7 years ago|discuss
7 years ago|discuss
7 years ago|discuss
8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
Solving Battleships with SAT
(kmkeen.com)
1 pts|8 years ago|discuss