CSC2512 - Reading Assignments

1. First term work component. Write a one page summary of the following paper.
   N. Eén, A. Biere. Effective Preprocessing in SAT through Variable and Clause Elimination. In Proc. 8th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'05), Lecture Notes in Computer Science (LNCS), vol. 3569, Springer 2005, 10.1007/11499107_5.
   
   During the term I will assign a number of papers to be read. The total mark for your summaries of these papers will be 10% of your course mark (there should be at least 5 of these during the term).
   • I am not looking for a demonstration that you read and understood the paper, not simply a rewording of the contents of the paper.
   • One possible template: A brief overview of what the paper does followd by some of your impressions of the merit of the contribution, e.g., is the technique general or limited, was it well evaluated empirically or characterized theoretically, can the method be generalized, did the authors' fail to address an interesting point, is there an interesting follow up study that you think should be done, are there important questions left unanswered by the paper, etc. Since you are limited to a page, pick the points you feel are most important to include in your summary.
2. Second term work component. Write a one page summary of the following paper.
   Revisiting the Sequence Constraint Willem-Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal. CP-06. Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, LNCS volume 4204, pp 620-634, Nantes, France, Sep 2006.

 Regular Assignments

1. Here is your first assignment. It is due on March 12th.