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.:
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,
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.
Submitted TPPs must:
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:
(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.
Abstract Submission: 05/02/2012
UNDER THE AUSPICES OF: