Submission and Publication

Submissions of extended abstracts are solicited and will be managed via Easychair.

Submitted extended abstracts should not exceed an overall length of up to 4 pages in LNCS format or a standard LaTeX article format (A4 paper, 11pt) excluding references. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers’ discretion.

We explicitly solicit the submission of talk abstracts describing already published work which is of interest to the SAT/QBF community.

Submissions related to completed work as well as work in progress are welcome which will trigger interesting discussions. Authors are encouraged to provide additional material such as source code of tools, experimental data, benchmarks and related publications.

Submissions which describe novel applications of QBF in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified.

Previously published work or extensions thereof may be submitted to the workshop but that case has to be explicitly stated in the extended abstract. This regulation also applies to work which is currently under review elsewhere.

Since the workshop does not have official proceedings, work related to accepted submissions can be resubmitted to other venues without restrictions.

Authors of accepted abstracts are expected to give a talk at the workshop.

Workshop Report

A short summary of each talk will be published on the workshop webpage.