Instructions for Authors

The proceedings of the workshop will be published online by Elsevier in Electronic Notes in Discrete Mathematics (ENDM). After the workshop we will edit a special volume of the Journal of Discrete Applied Mathematics (DAM) containing a small selection of papers from the workshop. The URLs are:
http://www.elsevier.nl/locate/endm/
http://www.elsevier.nl/locate/dam/
We will also make hardcopies to be distributed at the workshop. We would like everyone (including invited speakers if possible) to contribute a paper to the hardcopy working notes. Please note that the hardcopy will be distributed only to the limited number of attendees actually at the workshop. We do not require any copyright permission or transfer for the hardcopy working notes.

Online Workshop Proceedings

The online publication in ENDM will help make the papers more widely visible as well as provide a citable publication. (Please note that because of space limitations we will only be able to include a very few of the workshop papers in DAM.) The proceedings will appear at the URL
http://www.elsevier.nl/locate/endm/volume9.html
from computers at institutions that subscribe to Elsevier online journals, or
http://www.elsevier.nl/locate/endm/volume9.free
from computers elsewhere in the world.

Copyright Issues

Elsevier does claim copyright for papers in ENDM. However, they grant back to the authors:

Furthermore, you do not sign any explicit copyright transfer agreement for publication in ENDM.

If the copyright on your paper is held by another publisher (e.g. IJCAI), you might want to include a different version of the paper in ENDM, for example Local Search for SAT (Preliminary Report) or Local Search for SAT (Revised Report).

Alternatively you can include only the abstract of your paper in ENDM, with a description or HTML pointer to the actual publication. Indicate in the name of your paper that it is only an abstract.

Length

Your paper may range in length from 1 page to 16 pages.

Workshop Registration

To register for the workshop follow links from the LICS-2001 home page. Note that registration for the workshop is $50. You do not have to register for the LICS conference.

What to Do

  1. Prepare a postscript version of your paper using Latex and the Elsevier style available from
  2. ftp://ftp.elsevier.nl/pub/styles
    The Elsevier package consists of the files: ascii.tab (ASCII table), elsart.cls (use this file if you are using LaTeX2e, the current version of LaTeX), elsart.sty and elsart12.sty (use these two files if you are using LateX2.09, the previous version of LaTeX), instraut.dvi and/or instraut.ps (instruction booklet), readme. Note that the default Elservier style is single-column. If you need further Latex help see:
       
      http://www.elsevier.nl/gej-ng/31/29/24/show/Products/notes/ENDM/technical.htt
       

    Important note for non-North American authors: Your postscript file must be generated to print on "letter" size paper, not "A4" size paper. When you run "dvips" specify the "-t letter" flag:

    dvips -t letter YOUR_FILE.dvi
  3. Look at the code name for your paper on the list codes.txt. Use this code name as the root name for your paper. For example, the postscript for first paper by Kautz, Ruan et. al. should be named
  4. endm9002.ps
  5. (Abstract and/or paper in ENDM) Prepare an ascii text file containing the abstract for your paper in the following format. The article number is the last one or two digits of your paper code.
  6. <volume>
    9
    <article>
    article number
    <authors>
    first name first author, surname first author
    ...
    first name last author, surname last author
    <title>
    title text
    <abstract>
    abstract text in HTML format
    For example,
    <volume>
    9
    <article>
    2
    <authors>
    Henry, Kautz
    Yongshao, Ruan
    Dimitris, Achlioptas
    Carla, Gomes
    Bart, Selman
    Mark, Stickel
    <title>
    Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)
    <abstract>
    New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas <i>et al.</i> (AAAI 2000) introduced a new generator based on Latin squares that creates only <i>satisfiable</i> problems, and so can be used to accurately test incomplete (one sided) solvers. We show that this problem generator is actually biased away from the uniform distribution of satisfiable problems, and show how it may be improved by imposing a <i>balance</i> condition. The final version of this paper will appear in
    <a href="http:www.ijcai.org"><i>Proc. IJCAI-2001</i></a>.
    Name this file as your code name with a ".txt" postfix. For example:
    endm9002.txt

    Note that the format is unusual in that a comma appears between the first and last names, even though the order of the names is not reversed! If there is a middle initial then place it before the comma, e.g. "John Q., Smith". (An earlier version of these instructions had this wrong.)

    Send your abstract file to the directory ftp.cs.washington.edu/sat2001/online as follows:

    ftp ftp.cs.washington.edu
    login: anonymous
    cd sat2001
    cd online
    put YOUR_CODENAME.txt
  7. (Paper in ENDM) Send the postscript version of your paper to the "sat2001/online" directory as above:
  8. ftp ftp.cs.washington.edu
    login: anonymous
    cd sat2001
    cd online
    put YOUR_CODENAME.ps
  9. (Everyone) For the hardcopy notes, ftp your postscript file to the directory ftp.cs.washington.edu/sat2001/hardcopy as follows:
  10. ftp ftp.cs.washington.edu
    login: anonymous
    cd sat2001
    cd hardcopy
    put YOUR_CODENAME.ps

    Important: If you have or can prepare a version of your paper that uses fewer pages than the Elsevier style (e.g., a double-column 10pt style such as used for the IJCAI and AAAI conferences) please submit that version for the hardcopy notes (only) instead. This will help make the hardcopy working notes less bulky and expensive to produce.

    Please be sure to note that if you want the full text of your article to appear in ENDM you must ftp it twice, to both the hardcopy and online directories!
     

  11. That is all! There is no explicit copyright transferral or permission to publish form. After the workshop the PC will select a few papers for DAM and contact the authors. Again, we stress that it will only be possible to select a small fraction of the workshop papers for the DAM volume. We encourage authors to submit the final versions of their papers to the journals of their choice.

Deadlines

Please submit all your materials no later than Friday May 25th.

Do not email your submission! If you have trouble with ftp please contact your local system administrators and/or the system administrators here, support@cs.washington.edu.


Back to SAT-2001 Home Page.