Jochen Messner

Available identifiers

zbMath Open messner.jochenMaRDI QIDQ690462

List of research outcomes

Publication	Date of Publication	Type
Pattern matching in trace monoids	2022-11-09	Paper
Planarizing Gadgets for Perfect Matching Do Not Exist	2019-12-06	Paper
Exact Perfect Matching in Complete Graphs	2019-12-06	Paper
Game Values and Computational Complexity: An Analysis via Black-White Combinatorial Games	2016-01-11	Paper
A Kolmogorov complexity proof of the Lovász local lemma for satisfiability	2012-11-27	Paper
Planarizing Gadgets for Perfect Matching Do Not Exist	2012-09-25	Paper
A Kolmogorov Complexity Proof of the Lovász Local Lemma for Satisfiability	2011-08-17	Paper
Nondeterministic functions and the existence of optimal proof systems	2009-09-10	Paper
On the complexity of resolution with bounded conjunctions	2004-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737159	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472459	2004-08-04	Paper
Optimal proof systems imply complete sets for promise classes	2003-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4708605	2003-06-18	Paper
https://portal.mardi4nfdi.de/entity/Q4258579	2000-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4251070	1999-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q4381398	1998-07-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jochen Messner