NP=co-NP? This question, closely related to the famous P=NP? problem, can be stated as a problem on the length of proofs in propositional calculus." /> A straightforward proof of Köbler-Messner's result - Sadowski Zenon | sdvig press

A straightforward proof of Köbler-Messner's result

Zenon Sadowski

pp. 67-75

Full Text
Download
Other Editions

Text

This document is unfortunately not available for download at the moment.

Not implemented yet !