X3SAT is decidable in time O(2^{n/5})

Veranstaltungsbeitrag › Vortrag › 2002

Veranstaltung

5th International Conference on Theory and Applications of Satisfiability Testing
University of Cincinnati, USA, 06.05.2002 - 09.05.2002

Ergänzende Angaben

Englischer Fachvortrag