4 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.DC2023★ 2 cited
List Defective Colorings: Distributed Algorithms and Applications
Marc Fuchs, Fabian Kuhn
The distributed coloring problem is at the core of the area of distributed graph algorithms and it is a problem that has seen tremendous progress over the last few years. Much of t…
cs.DS2021
Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings
Salwa Faour, Marc Fuchs, Fabian Kuhn
We provide CONGEST model algorithms for approximating minimum weighted vertex cover and the maximum weighted matching. For bipartite graphs, we show that a -approx…
cs.AI2011★ 4 cited
Cooperation between Top-Down and Bottom-Up Theorem Provers
M. Fuchs, D. Fuchs
Top-down and bottom-up theorem proving approaches each have specific advantages and disadvantages. Bottom-up provers profit from strong redundancy control but suffer from the lack…