SAT 2007 - Tenth International Conference on
Theory and Applications of Satisfiability Testing

May 28 - 31 2007, Lisbon, Portugal

JSAT special issues

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.