/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 benjamincongdon.me
Solving the "Miracle Sudoku" in Prolog | Ben Congdon
| | sasnauskas.eu
Solving River Crossing Puzzles With MiniZinc
3.3 parsecs away

Travel
| | Internet home of Raimondas Sasnauskas. Stories of my journey.
| | probablydance.com
Sudoku Variants as Playful Proof Practice | Probably Dance
2.4 parsecs away

Travel
| | Doing mathematical proofs is kinda fun. Unfortunately they only make you do a few fun ones in school, then they get frustrating and tedious. So I have long been looking for a game that is about doing mathematical proofs. Euclidea was good, but eventually runs into the same problem as the hard proofs you do...
| | craigmbooth.com
Learning Logic Puzzles - Craig M. Booth's Homepage
3.1 parsecs away

Travel
| | Trying to actually get good at logic puzzles
| | cp-algorithms.com
Introduction to Dynamic Programming - Algorithms for Competitive Programming
54.0 parsecs away

Travel
| The goal of this project is to translate the wonderful resource http://e-maxx.ru/algo which provides descriptions of many algorithms and data structures especially popular in field of competitive programming. Moreover we want to improve the collected knowledge by extending the articles and adding new articles to the collection.