http://www.elsevier.nl/locate/endm/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.
http://www.elsevier.nl/locate/dam/
http://www.elsevier.nl/locate/endm/volume9.htmlfrom computers at institutions that subscribe to Elsevier online journals, or
http://www.elsevier.nl/locate/endm/volume9.freefrom computers elsewhere in the world.
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.
ftp://ftp.elsevier.nl/pub/stylesThe 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:
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
endm9002.ps
<volume>For example,
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
<volume>Name this file as your code name with a ".txt" postfix. For example:
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>.
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
ftp ftp.cs.washington.edu
login: anonymous
cd sat2001
cd online
put YOUR_CODENAME.ps
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!
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.