Toggle navigation
Home
Publications
Talks
Software
Mistral
Numberjack
cpHydra
PySched
Satire
Research
Applied Research
Rosetta/Philae
Observation Satellites
Foudamental Research
Constraint Propagation
SAT & CP
Parameterized Tractability
Uncertainty and Robustness
Students
Teaching
SAT (2023)
Data sets
CNF Benchmarks
easy format
Lectures
Chapitre 1 Propositional Satisfiability
Chapitre 2 Application and Encodings
Chapitre 3 Algorithms
Chapitre 4 Complexity
Chapitre 5 Pseudo Boolean Optimization
Chapitre 6 Hybridation of Constraint Programming and SAT
Chapitre 7 SAT Modulo Theories
Chapitre 8 Unsatisfiable Cores and Correction Sets
Chapitre 9 Maximum Satisfiability
Algorithmique (2020)
Cours
Cours
Présentation
Chapitres 1 - 4 (2T/page)
4T/page
Chapitres 5 - 8 (2T/page)
4T/page
Chapitres
Chapitre 1 : Introduction à la Complexité des Algorithmes
poly
Chapitre 2 : Analyse Asymptotique
poly
Chapitre 3 : Algorithmes Récursifs
poly
Chapitre 4 : Programmation Dynamique
poly
Chapitre 5 : Algorithmes Gloutons et Matroïdes
poly
Chapitre 6 : Représentation de la Donnée
poly
Chapitre 7 : Classes de Complexité
poly
Chapitre 8 : Les Classes NP et coNP
poly
TDs
Tous les TD
correction
Resources
Polycopiés du cours d'Olivier Bournez pour l'Ecole Polytechnique
Computational Complexity: A Modern Approach
,
Sanjeev Arora and Boaz Barak