web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Thu, 5 Jun 2008 09:21:06 +0000 (09:21 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Thu, 5 Jun 2008 09:21:06 +0000 (09:21 +0000)
wiki/academia/reading_list.mdwn

index 4320b96..8aed417 100644 (file)
@@ -3,7 +3,7 @@
 * *collective dynamics of "small-world" networks*, by Watts, Strogatz [Nature (393)(1998) 440-442]
 * *motivation of software developers in open source projects: an Internet-based survey of contributors to the Linux kernel* (should be about burnout), by Hertel, Niedner, Hermann
 * *quality and the reliance on individuals in free software project* (3rd workshop on open source software engineering) by Michlmayr and Hill
-* *extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution* by Gelder
+* *[extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution](ftp://ftp.cse.ucsc.edu/pub/avg/CBJ/sat-pre-post.ps.gz)* by Gelder
 * *analyzing dependencies in large component-based systems* (ASE 02) by Vieira, Richardson
 * *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik
 * *the power of gifts: organizing social relationships in open source communities* (information systems journal) by Berquist, Ljungberg)