1: Le probleme de l’isomorphisme de graphes est dans P 2: String algorithms and data structures 3: A Truthful Mechanism for Offline Ad Slot Scheduling 4: From k-SAT to k-CSP: Two Generalized Algorithms