# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1339504840 -3600
# Node ID 91145e24e83de151816fd93548eccb99ac5c69fd
# Parent  bc58d389106b9776a9fffac9570068e8a84d4cbe
added link to sudoku

diff -r bc58d389106b -r 91145e24e83d projects.html
--- a/projects.html	Thu May 24 12:37:49 2012 +0100
+++ b/projects.html	Tue Jun 12 13:40:40 2012 +0100
@@ -43,7 +43,8 @@
   is a computationally hard problem (<A HREF="http://en.wikipedia.org/wiki/NP-complete">NP-complete</A>), 
   modern SAT-solvers routinely solve boolean formulas with 100,000 and more variables. 
   Application areas of SAT-solver are manifold: they range from hardware verification to 
-  Sudoku solvers. Every 2 years there is a competition of the best SAT-solvers in the world.</p> 
+  Sudoku solvers (see <a href="http://anytime.cs.umass.edu/aimath06/proceedings/P34.pdf">here</a>) 
+  Every 2 years there is a competition of the best SAT-solvers in the world.</p> 
 
   <p>
   Most SAT-solvers are written in C. The aim of this project is to design and implement