Second DIMACS Challenge: November 28, 1993 UPDATE A couple important reminders regarding the Second DIMACS Challenge ftp site: 1) Items in the site will be deleted at the end of the year unless they are of the following types: KEEP: instances, instance generators, solution codes, format translation codes, bibliographies, documentation associated with above DELETE: project proposals, technical reports, anything not folling into above categories The site will be reorganized at that point to make things easier to find. 2) The address for contacting me has been changed to challenge2@dimacs.rutgers.edu or trick@mat.gsia.cmu.edu ----------------------------------------------------------------- There are a number of very interesting new items that are now at the ftp site (dimacs.rutgers.edu). These include Coloring: New instances (in graph/benchmarks/color), a new generator from Joe Culberson (in graph/contributed/culberson), and an updated bibliography, also from Joe Culberson (in graph/contributed/culberson). Cliques: A new generator from Laura Sanchis (laura@cs.colgate.edu) (in graph/contributed/sanchis). Satisfiability: A solution code based on the Davis-Putnam procedure from Olivier Dubois (in sat/contributed/dubois, the file A-sat.c and README.asat). A solution code based on a hill climbing procedure from Humberto Ortiz-Zuazaga (in sat/contributed/zuazaga). New instances (in sat/benchmarks/cnf), particularly those submited by Eiji Miyano. Mike Trick