M. Fuchs

From MaRDI portal
Person:167071

Available identifiers

zbMath Open fuchs.marcMaRDI QIDQ167071

List of research outcomes





PublicationDate of PublicationType
Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings2024-04-15Paper
On 2-protected nodes in random digital trees2016-02-26Paper
Relevancy-based use of lemmas in connection tableau calculi (Diss., TU München, 1999)2001-07-17Paper
Controlled use of clausal lemmas in connection tableau calculi2001-03-19Paper
https://portal.mardi4nfdi.de/entity/Q42631691999-09-22Paper
https://portal.mardi4nfdi.de/entity/Q42420561999-05-10Paper

Research outcomes over time

This page was built for person: M. Fuchs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:167071&oldid=6333454"
Powered by MediaWiki