Contents


The content of JSAT is organized into Volumes. Volumes have a continuous page numbering each. Refering to JSAT articles mentions Volume number / appropriate pages / year.

Hard copies printed by IOS Press also have Numbers associated (typically four for each Volume). Page numbering and volume numbering are consistent with those of the electronic Journal. Referencing to Numbers is optional, but not necessary.

!!Because of IOS Press' printing policy the "year of printing" is not always consistent with the actual publication date!!

  • Volume 1 (08/2005 - 05/2007, including A Special Issue on SAT/CP Integration)

  • Volume 2 (03/2006, Special Volume on the SAT 2005 competitions and evaluations)

  • Volume 3 (05/2007 - 12/2007, including A Special Issue on Satisfiability Modulo Theories)

  • Volume 4 (12/2007 - 09/2008, including A Special Issue on the 2007 Competitions)

  • Volume 5 (06/2008, Special Volume on Application of Constraints to Formal Verification)

  • Volume 6 (09/2008 - 06/2009, including A Special Issue on Parallel SAT Solving)

  • Volume 7 (09/2009 - 11/2011)

  • Volume 8 (01/2012 - )