The paper should cover the material discussed in the three assignments. The paper should not be produced by simply cutting and pasting parts of the assignments (but you may reuse bits and pieces of the assignments). The paper should have an abstract, introduction, conclusion and bibliography. The rest of the paper should address your algorithm, your implementation in Java and your verification effort.

The paper should be 15 pages. If necessary, the paper may be supplemented with appendices, which will be reviewed at the discretion of the instructor.

The paper should be formatted according to Springer-Verlag Lecture Notes in Computer Science Series guidelines. Download the files llncs.cls, llncsdoc.sty and llncs.bst (remove the suffix .txt from the file name) and place these files in the same directory as your LaTeX and BiBTeX file. A sample LaTeX file that uses the style files can be found here and a sample BiBTeX file can be found here.

If you have any questions, do not hesitate to contact the instructor.