Submission of Regular Papers
In order to make the reviewing of regular papers as clear and fair as possible, we established the following guidelines and ask potential authors to read them carefully.
About Regular Papers
Regular papers, not exceeding fourteen (14) pages, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and tools used (at least in binary form) available with their submission, so that to make their results reproducible. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed.
Importantly, here SAT is interpreted in a rather broad sense: besides plain propositional satisfiability, it includes the domains of MaxSAT and Pseudo-Boolean (PB) constraints, Quantified Boolean Formulae (QBF), Satisfiability Modulo Theories (SMT), Constraints Programming (CSP) techniques for word-level problems and their propositional encoding.
The topics of the conference span practical and theoretical research on SAT (in the broader sense above) and its applications, and include, but are not limited to:
Each paper is supposed to be presented by at least one author at the conference.
NOTE: the reviewers can decide to accept the paper, to reject it, or to accept it as a poster paper (see section regarding poster papers). If so, the authors should meet the obbligations of posters papers.
Submitted papers must:
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: