Information For Authors

Interested in submitting to this journal? We recommend that you review the About the Journal page for the journal's section policies, as well as the Author Guidelines. Authors need to register with the journal prior to submitting or, if already registered, can simply log in and begin the five-step process.

JSAT uses Open Journal Systems software which adheres to the Open Archives Initiative Protocol for Metadata Harvesting.  This protocol is the emerging standard for providing well-indexed access to electronic research resources on a global scale. The authors use a similar compatible template to provide metadata for their submission. The Journal Manager has selected the following categories for indexing the journal.

  • ACADEMIC DISCIPLINE AND SUB-DISCIPLINES
    Computer Science; Satisfiability, Satisfiability Modulo Theories; ATP; Propositional Logic

     

  • SUBJECT CLASSIFICATION
    Library of Congress Classification
    http://www.loc.gov/catdir/lcco

     

  • KEYWORDS
    Satisfiability; SMT, ATP; Propositional Logic; SAT; formal methods.

The following plugins are installed to support OAI communication:

  • NLM Metadata Format
    Structures metadata in a way that is consistent with the NLM Journal Article format.

     

  • DC Metadata Format
    Structures metadata in a way that is consistent with the Dublin Core format

     

  • RFC1807 Metadata Format
    Structures metadata in a way that is consistent with the RFC1807 format.

     

  • MARC21 Metadata Format
    Structures metadata in a way that is consistent with the MARC21 format.

     

  • MARC Metadata Format
    Structures metadata in a way that is consistent with the MARC format.

The Open Journal System that is used by JSAT enables the assignment of Digital Object Identifiers to issues, articles, galleys and supplementary files in JSAT.