Call for system descriptions

The JSAT journal is now accepting a new kind of contribution: system
descriptions.

The idea of the "System Description" category is that it will be
refereed papers that describe the internals of a SAT (broad sense,
MAXSAT, QBF, SMT, etc. included)  solver without the usual requirements
for a full paper. In fact, a "System Description" is limited to four pages.

A "System Description" need not have novel unpublished ideas, as is
required for a regular paper.  Also, the criterion of experimental
evaluation is reduced, especially if the paper can mention performance
in a recognized competition.  Accuracy, completeness, and clarity of the
description are the primary refereeing criteria.

The criterion of citing every paper written on clause learning (or
whatever) is relaxed, but relevant citations predating the work are
still expected.  Detailed comparisons are not.

Each paper should have an "as of" date clearly stated in the
abstract and the first sentence or so of the body.

The author is NOT required to address subsequent results!

MOTIVATION

System descriptions made available during competitive events cannot be
considered refereed research, and it is not really appropriate to
require  authors to cite such casual documents (which may well be
inaccurate, not having been reviewed at all).