How to write a review. Outline What is a review? Why should you review? How do you review a paper? What not to do? What are the dilemmas? Case study.
Transforming and Refining Abstract Constraint Specifications Alan Frisch, Brahim Hnich*, Ian Miguel, Barbara Smith, and Toby Walsh *Cork Constraint Computation.
Ppt on Single transferable voting system
SMT Solvers (an extension of SAT)
10th International Workshop on Constraint Modelling and Reformulation