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!!
(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)
(05/2007 - 12/2007, including A Special Issue on Satisfiability Modulo Theories)
(12/2007 - 09/2008, including A Special Issue on the 2007 Competitions)
(06/2008, Special Volume on Application of Constraints to Formal Verification)
(09/2008 - 06/2009, including A Special Issue on Parallel SAT Solving)
(09/2009 - 11/2011)
(01/2012 - )