-
Algorithmic Meta Theorems for Circuit Classes of Constant and Logarithmic Depth
International audience -
A simple proof of the tree-width duality theorem
We give a simple proof of the "tree-width duality theorem" of Seymour and Thomas that the tree-width of a finite graph is exactly one less than the largest order of... -
Logique sur les graphes et protocoles de diffusion
Stage Magistère 1ière Année. Rapport de stage.
