Submission of Tool Presentation

For the first time with SAT conferences, SAT'12 allows authors for submitting tool presentation papers (TPPs), in order to provide them with the opportunity to present their tool and to make a demo in front of the SAT'12 audience. TPPs, which are at most 6-page long, will be inserted in the SAT'12 proceedings.

In order to make the reviewing of TPPs as clear and fair as possible, we established the following guidelines and ask potential authors to read them carefully.

About Tool Demonstration Papers

TPPs present tools based on SAT technologies or falling into SAT-relevant application areas. (We recall that here "SAT" must be intended in the aforementioned broad sense, i.e. SAT, PB, MaxSAT, QBF, SMT.) They should describe the implemented tool and its novel features, highlighting the usage aspects.

Importantly, a TPP must describe a mature and robust tool. (E.g., here a "tool" should not be simply a straightforward implementation of some novel algorithm from the authors.) Tools of interest may be, e.g.:

  • SAT solvers & preprocessors,
  • SAT tools exploiting extended functionalities (e.g., unsat-core extractors, interpolant generators, ALL-SAT...)
  • SAT-based applications tools on different domains, with a particular emphasis on novel applications.

Notice that also commercial tools are admitted, if they provide at least a demo version which is available for free.

For TPPs it is not explicitly required to give an overview of the theoretical foundations or to present experimental evaluation (although, some some cases, they may contribute to back the efficiency claims). Rather, we urge authors to motivate why their tool is interesting and significant for the SAT community, and to convince the readers of their utility and usability. For instance,

  • a TPP for a solver should implicitly address the question "why should I use this tool rather than its competitors (if any)?"
  • a TPP for a SAT-based application tool must highlight the impact of SAT technology within the tool, and the interest which this tool may raise within the SAT community (e.g., "does this tool open a new application field to SAT or poses novel challenges to SAT technologies?"). Rather, if a SAT-based tool for an application domain XX may raise more interest in community XX rather than in SAT, then the authors may consider submitting the TPP to a XX-specific conference rather than to SAT'12.

Tool demonstration papers are evaluated by the Programme Committee. Tools presented in TPPs must be publicly available, at least in binary form. A demonstration, in a separate demonstration session at SAT'12, is expected to accompany a tool presentation. Papers describing tools that have already been presented (in any conference or journal) will be accepted only if significant and clear enhancements to the tool are reported and implemented.

Submission Instructions

Submitted TPPs must:

  • be written in latex, using the Springer LNCS style,
  • be in English and have a maximum of 6 pages, including figures and bibliography
  • include "(Tool Presentation)" at the end of the title, that is:
    \title{...\\(Tool Presentation)}
  • be submitted electronically in PDF form via the SAT 2012 Conference Service at EasyChair.
  • include a link to a web-page for the tool
  • clearly describe the enhancements and novel features of the tool in case that one of its previous versions has already been presented at meetings or published in some form.

TPP may optionally have an appendix (not included in the 6-page count), of at most other 6 pages, that provides a detailed description of:

  • how the oral presentation will be conducted, e.g. illustrated by a number of snapshots,
  • the availability of the tool, the number and types of users, other information which may illustrate the maturity, robustness and usability of the tool.

(The appendix will not be included in the proceedings, but during the evaluation of the tool demonstration papers the reviewers are at liberty to consider or ignore it for the evaluation of the the TPP.)

Submissions deviating from these instructions may be rejected without review. Any questions regarding this policy should be directed to the chairs.