Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen

Description

Chemnitz, Techn. Universiẗat, Diss., 2004.

Links & Downloads

1. http://deposit.ddb.de/cgi-bin/dokserv?idn=972344527
2. http://archiv.tu-chemnitz.de/pub/2004/0095/data/diss.pdf
3. http://archiv.tu-chemnitz.de/pub/2004/0095

Tags

Erfüllbarkeitsproblem

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76517887
Date	January 2004
Creators	Schädlich, Frank.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	German
Detected Language	German
Source	LF