%
% File:    Macros for Journal on Satisfiability, Boolean Modeling and Computation.
%	   The name of this file should follow the article document
%	   type, e.g. \documentclass[twoside, 11pt]{article}
%			  \usepackage{jsat}
%          Copied and edited from similar file for Journal of Artificial Intelligence Research which 
%			originates from the style file of Machine Learning Journal.
% Original Author:  Jeff Schlimmer
% Edited by: Marijn Heule, Kevin Thompson, Martha Del Alto, Helen Stewart, Steve Minton \& Pandu Nayak.
% Last edited: Thu Feb 9 12:30:00 2006 by Marijn Heule

\NeedsTeXFormat{LaTeX2e}
\RequirePackage{epsfig}

\usepackage[dvipsnames]{xcolor}
\usepackage[colorlinks=true,
            citecolor=NavyBlue, linkcolor=Maroon,
            urlcolor=WildStrawberry]{hyperref}

\typeout{Document Style `jsat' -- Februari 2006.}

%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                             P A G E   S I Z E
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
% Change the overall width of the page.  If these parameters are
%	changed, they will require corresponding changes in the
%	maketitle section.
%
\renewcommand{\topfraction}{0.95}   % let figure take up nearly whole page
\renewcommand{\textfraction}{0.05}  % let figure take up nearly whole page

% Specify the dimensions of each page

\oddsidemargin .25in    %   Note \oddsidemargin = \evensidemargin
\evensidemargin .25in
\marginparwidth 0.07 true in
%\marginparwidth 0.75 true in
%\topmargin 0 true pt           % Nominal distance from top of page to top of
%\topmargin 0.125in
\topmargin -0.5in
\addtolength{\headsep}{0.25in}
\textheight 8.5 true in       % Height of text (including footnotes & figures)
\textwidth 6.0 true in        % Width of text line.
\widowpenalty=10000
\clubpenalty=10000
\@twosidetrue \@mparswitchtrue \def\ds@draft{\overfullrule 5pt}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                               S E C T I O N S
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Definitions for nicer (?) sections, etc., ideas from Pat Langley.
% Numbering for sections, etc. is taken care of automatically.

\def\@startsiction#1#2#3#4#5#6{\if@noskipsec \leavevmode \fi
   \par \@tempskipa #4\relax
   \@afterindenttrue
   \ifdim \@tempskipa <\z@ \@tempskipa -\@tempskipa \@afterindentfalse\fi
   \if@nobreak \everypar{}\else
     \addpenalty{\@secpenalty}\addvspace{\@tempskipa}\fi \@ifstar
     {\@ssect{#3}{#4}{#5}{#6}}{\@dblarg{\@sict{#1}{#2}{#3}{#4}{#5}{#6}}}}

\def\@sict#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
     \def\@svsec{}\else
     \refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname}\fi
     \@tempskipa #5\relax
      \ifdim \@tempskipa>\z@
        \begingroup #6\relax
          \@hangfrom{\hskip #3\relax\@svsec.\hskip 0.1em}
                    {\interlinepenalty \@M #8\par}
        \endgroup
       \csname #1mark\endcsname{#7}\addcontentsline
         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                      \protect\numberline{\csname the#1\endcsname}\fi
                    #7}\else
        \def\@svsechd{#6\hskip #3\@svsec #8\csname #1mark\endcsname
                      {#7}\addcontentsline
                           {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                             \protect\numberline{\csname the#1\endcsname}\fi
                       #7}}\fi
     \@xsect{#5}}

\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
     \def\@svsec{}\else 
     \refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname\hskip 0.5em }\fi
     \@tempskipa #5\relax
      \ifdim \@tempskipa>\z@ 
        \begingroup #6\relax
          \@hangfrom{\hskip #3\relax\@svsec}{\interlinepenalty \@M #8\par}
        \endgroup
       \csname #1mark\endcsname{#7}\addcontentsline
         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                      \protect\numberline{\csname the#1\endcsname}\fi
                    #7}\else
        \def\@svsechd{#6\hskip #3\@svsec #8\csname #1mark\endcsname
                      {#7}\addcontentsline
                           {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                             \protect\numberline{\csname the#1\endcsname}\fi
                       #7}}\fi
     \@xsect{#5}}

\def\thesection {\arabic{section}}
\def\thesubsection {\thesection.\arabic{subsection}}
\def\section{\@startsiction{section}{1}{\z@}{-0.24in}{0.10in}
             {\large\bf\raggedright}}
\def\subsection{\@startsection{subsection}{2}{\z@}{-0.20in}{0.08in}
                {\normalsize\bf\raggedright}}
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{-0.18in}{0.08in}
		{\normalsize\sc\raggedright}}
\def\paragraph{\@startsiction{paragraph}{4}{\z@}{1.5ex plus
  0.5ex minus .2ex}{-1em}{\normalsize\bf}}
\def\subparagraph{\@startsiction{subparagraph}{5}{\z@}{1.5ex plus
  0.5ex minus .2ex}{-1em}{\normalsize\bf}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                              F O O T N O T E S
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Change the size of the footnote rule
%
% \renewcommand{\footnoterule}{\vspace{10pt}\hrule width 0mm}

\long\def\@makefntext#1{\@setpar{\@@par\@tempdima \hsize 
             \advance\@tempdima-15pt\parshape \@ne 15pt \@tempdima}\par
             \parindent 2em\noindent \hbox to \z@{\hss{\@thefnmark} \hfil}#1}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                               A B S T R A C T
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% use \begin{abstract} .. \end{abstract} for abstracts.
\renewenvironment{abstract}
    {\centerline{\large\bf Abstract}\vspace{0.7ex}%
      \bgroup\leftskip 20pt \rightskip 20pt\small}%
    {\noindent\par\egroup \vskip 0.25ex}

\def\sixu{\hbox to .333em{}}    % printer's `six unit' space
\def\ksp{\sixu\sixu\ }
\def\keywords#1{\vspace{10pt}
 \relax{\small\baselineskip=11pt\noindent{\sc Keywords}:\ksp 
 \bgroup\leftskip 20pt \rightskip 20pt \it #1\par\egroup}}

\def\published#1#2#3{\vspace{10pt}
 \relax{\noindent\footnotesize\baselineskip=9pt
 \hspace{20pt}{\em Submitted #1; revised #2; published #3}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                        FIRST PAGE, TITLE, AUTHOR
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Author information can be set in various styles:
% For several authors from the same institution:
% \author{Author 1 \and ... \and Author n \\
%         \addr{Address line} \\ ... \\ \addr{Address line}}
% if the names do not fit well on one line use
%         Author 1 \\ {\bf Author 2} \\ ... \\ {\bf Author n} \\
% To start a seperate ``row'' of authors use \AND, as in
% \author{Author 1 \\ \addr{Address line} \\  ... \\ \addr{Address line}
%         \AND
%         Author 2 \\ \addr{Address line} \\ ... \\ \addr{Address line} \And
%         Author 3 \\ \addr{Address line} \\ ... \\ \addr{Address line}}

% Title stuff, borrowed in part from aaai92.sty

\newlength\aftertitskip     \newlength\beforetitskip
\newlength\interauthorskip  \newlength\aftermaketitskip

%% Changeable parameters.
\setlength\aftertitskip{0.1in plus 0.2in minus 0.2in}
\setlength\beforetitskip{0.3in plus 0.08in minus 0.08in}
\setlength\interauthorskip{0.08in plus 0.1in minus 0.1in}
\setlength\aftermaketitskip{0.3in plus 0.1in minus 0.1in}

%% overall definition of maketitle, @maketitle does the real work
\def\maketitle{\par
 \begingroup
   \def\thefootnote{\fnsymbol{footnote}}
   \def\@makefnmark{\hbox to 0pt{$^{\@thefnmark}$\hss}}
   \@maketitle \@thanks
 \endgroup
\setcounter{footnote}{0}
 \let\maketitle\relax \let\@maketitle\relax
 \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}

\def\@startauthor{\noindent \normalsize\bf}
\def\@endauthor{}
\def\@maketitle{\vbox{\hsize\textwidth
 \linewidth\hsize \vskip \beforetitskip
 {\begin{center} \Large\bf \@title \par \end{center}} \vskip \aftertitskip
 {\def\and{\unskip\enspace{\rm and}\enspace}%
  \def\addr{\small\it}%
  \def\email{\hfill\small\tt}%
  \def\name{\normalsize\bf}%
  \def\AND{\@endauthor\rm\hss \vskip \interauthorskip \@startauthor}
  \@startauthor \@author \@endauthor}
  \vskip \aftermaketitskip
}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                        H E A D S   A N D   F O O T S
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% 
%% \def\@oddfoot{}
%% \def\@evenfoot{}
%% 
%% \def\evenfoot#1{\def\@evenfoot{{\small \thepage} \hfil
%%                                   {\small\sc #1}}}
%% \def\oddfoot#1{\def\@oddfoot{{\small\sc #1} \hfil 
%%                                         {\small \thepage}}}
%% \def\firstfoot#1#2{%
%% \def\@oddfoot{\scriptsize\vbox{\leftline{#1}\leftline{#2}}}}
%% 
%% 
%% %% Usage: \jsatfoot{}{published}{published}, e.g.
%% %%        \jsatfoot{}{Submitted 9/04;}{published 10/04}
%% 
%% \def\jsatfoot{\firstfoot{%
%%      \copyright 2004 Delft University of Technology and the authors.}{}}
%% 
%% \def\nofoot{\def\@oddfoot{}}
%% 
%% \def\firstheading#1#2{%
%%     \def\@oddhead{\scriptsize\vbox{\leftline{#1}\leftline{#2}}}
%% }
%% \def\evenheading#1{\def\@evenhead{{\small \thepage} \hfil
%%                                   {\small\sc #1}}}
%% \def\oddheading#1{\def\@oddhead{{\small\sc #1}} \hfil 
%%                                         {\small \thepage}}}
%% 
%% %% Usage: \jsatheading{Volume}{year}{page-page}, e.g.
%% %%        \jsatheading{1}{2004}{1--15}
%% %\addtolength{\headsep}{0.125in}
%% \def\jsatheading#1#2#3{\firstheading{%
%%      Journal on Satisfiability, Boolean Modeling and Computation #1 (#2) #3} \hfill}\raisebox{-8bp}{} }
%%      
%% 
%% \def\ShortTitle#1{\oddheading{#1}}
%% \def\ShortAuthor#1{\evenheading{#1}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%
%%% Pagestyle
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%% Defines the pagestyle jsattps, the pagestyle of the first page

%% \def\ps@jsattps{\let\@mkboth\@gobbletwo\def\@oddhead{\scriptsize Journal on Satisfiability, Boolean Modeling and Computation 1 (1993) 1-15 \hfill}%
%% \def\@oddfoot{\scriptsize \copyright 2004 Delft University of Technology and the authors.\hfill}\def\@evenhead{}\def\@evenfoot{}}
%% 
%% %% Defines the pagestyle jsatps, the pagestyle of the remaining pages
%% 
%% \def\ps@jsatps{\let\@mkboth\@gobbletwo\def\@oddhead{{\small\sf March\_eq: Efficiency and Additional Reasoning} \hfill {\small \thepage}}%
%% \def\@oddfoot{}%
%% \def\@evenhead{{\small \thepage} \hfill {\small\sf M.J.H. Heule et al.}}%
%% \def\@evenfoot{}}

%% Defines the pagestyle for the title page.
%% Usage: \jsatheading{1}{2004}{1-15}{9/04;}{10/04}
%%	  \jsatheading{vol}{year}{pages}{Submitted}{published}

\def\jsatheading#1#2#3{\def\ps@jsattps{\let\@mkboth\@gobbletwo%
\def\@oddhead{\mbox{\scriptsize Journal on Satisfiability, Boolean Modeling and Computation #1 (#2) #3 } }
\def\@oddfoot{\scriptsize \copyright #2 Delft University of Technology and the authors.\hfill}%
\def\@evenhead{}\def\@evenfoot{}}%
\thispagestyle{jsattps}}

%% Defines the pagestyle for the rest of the pages
%% Usage: \ShortHeadings{March\_eq: Efficiency and Additional Reasoning}{M.J.H. Heule et al.}
%%	  \ShortHeadings{short title}{short authors}

\def\firstpageno#1{\setcounter{page}{#1}}

%\def\pageno#1{\global\advance\count0 by #1}

\def\ShortHeadings#1#2{\def\ps@jsatps{\let\@mkboth\@gobbletwo%
\def\@oddhead{\hfill {\small\sc #1} \hfill}%
\def\@oddfoot{\hfil \raisebox{-3bp}{} \hfil \small\rm \thepage }%
\def\@evenhead{\hfill {\small\sc #2} \hfill}%
\def\@evenfoot{\small\rm \thepage \hfil \raisebox{-3bp}{} \hfil}}%
\pagestyle{jsatps}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                               MISCELLANY
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Define macros for figure captions and table titles

% Figurecaption prints the caption title flush left.
% \def\figurecaption#1#2{\noindent\hangindent 42pt
%                        \hbox to 36pt {\small\sl #1 \hfil}
%                        \ignorespaces {\small #2}}
\def\figurecaption#1#2{\noindent\hangindent 36pt
                       \hbox to 30pt {\small\bf #1 \hfil}
                       \ignorespaces {\small #2}}
% Figurecenter prints the caption title centered.
%\def\figurecenter#1#2{\centerline{{\small\sl #1} {\small #2}}}
\def\figurecenter#1#2{\centerline{{\small\sl #1} {\small #2}}}

%
%  Allow ``hanging indents'' in long captions
%
%\long\def\@makecaption#1#2{
%   \vskip 10pt 
%   \setbox\@tempboxa\hbox{#1: #2}
%   \ifdim \wd\@tempboxa >\hsize               % IF longer than one line:
%       \begin{list}{#1:}{
%       \settowidth{\labelwidth}{#1:}
%       \setlength{\leftmargin}{\labelwidth}
%       \addtolength{\leftmargin}{\labelsep}
%        }\item #2 \end{list}\par   % Output in quote mode
%     \else                         %   ELSE  center.
%       \hbox to\hsize{\hfil\box\@tempboxa\hfil}  
%   \fi}

% Define strut macros for skipping spaces above and below text in a
% tabular environment.
%\def\abovestrut#1{\rule[0in]{0in}{#1}\ignorespaces}
%\def\belowstrut#1{\rule[-#1]{0in}{#1}\ignorespaces}

% Acknowledgments
\long\def\acks#1{\vskip 0.3in\noindent{\large\bf Acknowledgments}\vskip 0.2in
\noindent #1}

% Research Note
\long\def\researchnote{\noindent {\LARGE\it Research Note}}

% Technical Addendum
\long\def\technicaladdendum#1{\noindent {\LARGE\it Technical Addendum} #1}

\renewcommand{\appendix}{\par
  \setcounter{section}{0}
  \setcounter{subsection}{0}
  \def\thesection{\Alph{section}}
\def\section{\@ifnextchar*{\@startsiction{section}{1}{\z@}{-0.24in}{0.10in}%
             {\large\bf\raggedright}}%
{\@startsiction{section}{1}{\z@}{-0.24in}{0.10in}
             {\large\bf\raggedright Appendix\ }}}}

\DeclareFixedFont{\captionfont}{T1}{ppl}{m}{n}{10pt}

\long\def\@makecaption#1#2{%
  \vskip\abovecaptionskip
  \sbox\@tempboxa{{\bfseries #1.} {\captionfont #2}}%
  \ifdim \wd\@tempboxa >\hsize
    {\bfseries #1.} {\captionfont #2}\par
  \else
    \global \@minipagefalse
    \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
  \fi
  \vskip 7pt}

\renewcommand{\thefootnote}{\arabic{footnote}.}