Paper

The paper should cover the material discussed in Assignment 1, 3 and 4. The paper should not be produced by cutting and pasting parts 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 using Java Pathfinder.

The paper should not exceed 15 pages, and it should be formatted according to Springer-Verlag Lecture Notes in Computer Science Series guidelines. For those using LaTeX, the style files can be found here. For those using Word, information can be found here. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the instructor.

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