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:

  • Theoretical issues:
    • Combinatorial Theory of SAT
    • Proof Systems and Proof Complexity in SAT
    • Analysis of SAT Algorithms
  • Solving:
    • Improvements of current solving procedures
    • Novel solving procedures, techniques and heuristics
    • Incremental solving
  • Beyond solving:
    • Functionalities (e.g., proofs, unsat-cores, interpolants,...)
    • Optimization
  • Applications:
    • SAT techniques for other domains
    • Novel Problem Encodings
    • Novel Industrial Applications of SAT

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.
Of course, the authors can refuse, so that the paper will not be published.

Submission Instructions

Submitted papers must:

  • be written in latex, using the Springer LNCS style,
  • be in English and have a maximum of 14 pages, including figures and bibliography
  • be submitted electronically in PDF form via the SAT 2012 Conference Service at EasyChair.

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