Vollständige Charakterisierung der Komplexität der Aufzählung aller, minimalen und maximalen Signaturen von XOR-CNF-Formeln

Die Arbeit charakterisiert vollständig die Komplexität der Aufzählung aller, minimalen und maximalen Signaturen von XOR-CNF-Formeln. Es wird gezeigt, dass die Aufzählung aller Signaturen in polynomieller Verzögerung möglich ist, während die Aufzählung der maximalen und minimalen Signaturen in inkrementell-polynomieller Zeit bzw. für 2-XOR-CNF in polynomieller Verzögerung erfolgen kann.