> Graffiti (by S. Fajtlowicz) and Graffiti.pc (by E. DeLaViña) are computer programs that produce conjectures in graph theory.

See Doug West's web page, "[Some Conjectures of Graffiti.pc (2004-07)][1],"
and the more recent, "[Bibliography on Conjectures, Methods and Applications of Graffiti][2],"
which includes paper through 2011.


  [1]: http://www.math.uiuc.edu/~west/regs/graffiti.html
  [2]: http://cms.dt.uh.edu/faculty/delavinae/research/wowref.htm