Differences
This shows you the differences between two versions of the page.
| — |
sav08:dimacs_format [2008/03/11 18:41] (current) vkuncak created |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== DIMACS Format ====== | ||
| + | * {{{{sav08:dimacsformat.ps|DIMACS Format Document}} | ||
| + | * [[http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html|SATLIB - Benchmark Problems]] | ||