SAT 2007 - Tenth
International Conference on
The SAT 2007 conference proceedings are available from
The online version of the proceedings is also available from
information on previous meetings.
The SAT conference also hosts a number of competitions and evaluations, including the SAT competition, the QBF competition, the Pseudo-Boolean evaluation, and the MAX-SAT evaluation. SAT Competition
The topics of the conference span practical and theoretical research on SAT and its applications and include but are not limited to:
SAT is interpreted in a broad sense: besides propositional satisfiability, it includes the domains of pseudo-Boolean constraint solving and optimization (PB), quantified boolean formulae (QBF), constraint programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT).
Paper submissions should contain original material and can either be regular research papers up to 14 pages or short papers up to 6 pages. 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 appendices, tables, figures and the bibliography must fit into the page limit. 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 will be published in Springer's LNCS series. The submission page is http://www.easychair.org/SAT2007. Papers have to be submitted electronically as PDF files. Abstracts are due by January 21, 23:59 GMT. Papers are due by January 25, 23:59 GMT.
The support of the SAT 2007 sponsors is acknowledged. The current list of sponsors is available here.
JSAT will be organizing two special issues associated with the SAT 2007 conference. One special issue will be on selected papers from the SAT 2007 conference. Authors of selected SAT 2007 papers will be invited to submit extended versions of their papers to JSAT. Papers submitted to JSAT will have no page limit. Invited papers will be subject to a second round of reviews. In addition to the special issue on selected papers from the SAT 2007 conference, JSAT will also be organizing a special issue on the SAT 2007 competitions and evaluations.
|Last modified: June 26 2009 17:04.|