Sciweavers

Share
15 search results - page 1 / 3
» tamc 2010
Sort
View
TAMC
2010
Springer
8 years 9 days ago
Different Approaches to Proof Systems
Olaf Beyersdorff, Sebastian Müller
TAMC
2010
Springer
8 years 9 days ago
Revisiting the Minimum Breakpoint Linearization Problem
Laurent Bulteau, Guillaume Fertin, Irena Rusu
TAMC
2010
Springer
8 years 7 months ago
Complexity of Paths, Trails and Circuits in Arc-Colored Digraphs
Laurent Gourvès, Adria Lyra, Carlos A. J. M...
TAMC
2010
Springer
8 years 7 months ago
The Max k-Cut Game and Its Strong Equilibria
An instance of the max k−cut game is an edge weighted graph. Every
Laurent Gourvès, Jérôme Monnot
books