Paper Submissions SAT 2010

General information

  • Paper submissions should contain original material and can either be regular research papers up to 14 pages or short papers up to 6 pages. Submitted papers may include a technical appendix in addition to the page restriction; however, the paper must be intelligible without the appendix and PC members are not required to read the appendix.
  • Regular papers may be accepted as short papers, by decision of the program committee.
  • Double submissions including submissions as short and long papers will be rejected.
  • Submissions should use the Springer LNCS style.
  • All tables, figures and the bibliography must fit into the page limit. Appendices that the author considers as part of the final submission should fit in the page limit as well.
  • Submissions deviating from these requirements may be rejected without review.
  • All accepted papers including short papers will be published in the proceedings of the conference, which are expected to be published in Springer's LNCS series.
  • The submission page is
  • Papers have to be submitted electronically as PDF files.

Call for Papers

PDF and ASCII versions of the Call for Papers.

Final versions

  • The Floc-specific Springer copyright form needs to be signed by the corresponding author of the paper, scanned, and sent to one of the conference chairs. In case you cannot scan it, you can use one of the fax numbers that were sent to authors of accepted papers.
  • The name of the conference proceedings is "Theory and Applications of Satisfiability Testing -- SAT 2010".
  • The LNCS volume number is (To be updated).
  • The editors' names are "Ofer Strichman and Stefan Szeider".