Your Catch

In this page, web pages of interest to the class will be listed. Every student is welcome to propose a link he or she find of interest. The student's name will be mentioned.

Catch of the class of Spring 2022

1. Mitchell Clark: The Number of N-Queens Configurations

Catch of the class of Spring 2011

1. Anthony Schneider: IBM's Watson team answers some questions regarding Watson's inner workings and some of the technological challenges they faced in its design and implementation.
2. Instructor: Watson wins Jeopardy!. Make sure to watch all 4 episodes.
3. Instructor: Lecoutre's e-textbook on Constraint Networks
4. Joshua Branchaud: Google Goggles Sudoku Demo, or how commercial success is 99% in the interface, not the science. Any simple BT search can solve any Sudoku puzzle very quickly, even for ill-paused (non)puzzles with several solutions. The technical achievement here is the use of a scanner and an OCR, not in solving the puzzle :-) All 9x9 puzzles that we are aware off can be solved by propagation algorithms only, without search. The applet developed by the Constraint Systems Laboratory implements 4 propagation algorithms that solve all but 7 known puzzles. We know the algorithm that solves the 7 hardest puzzles, we just need the time to implement it. The scietific challenge is to theoretically prove that those 5 algorithms (actually, just the 5th) can solve any 9x9 well-paused Sudoku puzzles.

Catch of the class of Fall 2009

1. Beau Christ: The Painting Fool, paper, website.
2. Yujo Mo: IBM Researchers Go Way Beyond AI With Cat-Like Cognitive Computing

Catch of the class of Spring 2009

1. Pingyu Zhang: Counting CPU time for Java programmers
2. Pingyu Zhang: Garey & Johnson-Computers & Intractability (in DjVy format, to be downloaded).

Catch of the class of Spring 2008

1. Bartak's list of Constraint Systems/Solvers
2. 4C's list of Constraint Systems/Solvers

Catch of the class of Fall 2005

1. Josh Snyder: Crossword puzzles and CSPs website with links.
2. Josh Snyder: a paper on "Crossword Puzzles and Constraint Satisfaction"
3. Josh Snyder: a paper on: "A Generic Neural Network Approach For Constraint Satisfaction Problems".

Catch of the class of Fall 2003

1. Kye Halsted: Scramble Squares Puzzle as a CSP.

Catch of the class of Fall 2002

• Constraint Processing:
1. Kai Wen Ham: Foundations of Constraint Satisfaction, Tsang's textbook online
2. Nurzhan Ustemirov: De Schreye's notes  (MSword notes, Power point slides1, slides2) from his Intro to AI Course
• AI resources:
1. Ryan Lim: CMU AI Repository
• Latex resources
1. Joel Gompert: Getting memory-efficient, pretty-looking, robust graphics with very fancy robust labels into LaTeX
2. Ryan Lim: The not so short introduction to LaTex2x
• LISP resources
1. Eric Moss: Screamer
2. Eric Moss' personal help with Lisp

Catch of the class of Fall 2001

1. Chris Hammack: a really cool Java Applet: Consistency Based CSP Solver.