SATLIB - Submission Guidelines

We are happy to receive your submissions to SATLIB. However, to make SATLIB as useful as possible, we ask you to follow these guidelines as closely as possible.

Benchmark Problems:

• All problem instances should be encoded in DIMACS cnf format. For examples, see the Random-3-SAT formulae in SATLIB and check the DIMACS challenge website (link section). [We will soon provide a description of the CNF format on SATLIB.]

• The cnf files should be packaged into .tar.gz files. If you think it makes sense to divide the set of instances you are submitting into several packages which should be distributed separately, bundle them as you see fit.

• You should provide information on the instances, at least number of variables, clauses, and some background on the problem class. For examples, see the descriptions in the Benchmarks Section of SATLIB. The description you send should ideally be an HTML document. Postscript files are also OK, if no HTML version is available. Please do not send research papers instead of the problem description, unless the description of the problem class the benchmark problems are taken from is the prime topic of the paper.

Solvers:

• All solvers should accept DIMACS cnf format (see above) or be bundled with a wrapper script (preferably perl) which translates cnf into the input accepted by the solver.

• All sources and a makefile for at least unix environments should should be bundled into a *.tar.gz file

• You should provide information on solver (complete/incomplete, algorithm sketch, ...). Ideally, there should be a short description, ideally in form of an HTML document. Postscript files are also OK, if no HTML version is available. You my send a research paper (or references to papers) if the solver is the prime topic of the paper.

• Ideally, you should also submit evaluation data for your solver applied to SATLIB benchmark problems. We will soon provide further instructions for the kind of information we would like to see.

General instructions:

• Please send your submissions as mail attachments to hoos@cs.ubc.ca

• With your submission, you will be automatically added to the "People Involved in SAT Research" section of SATLIB. If you want to have a link to your homepage added, send us the URL. Otherwise, we will link to your email address.

• Please be patient. We will try to include your submission into SATLIB as soon as possible, however, we usually will collect a number of update requests and submissions before releasing a new version of SATLIB.