Rheinische Friedrich-Wilhelms-Universität Bonn Institut für Informatik
 
Abteilung V

 
Universität Bonn -> Institut für Informatik -> Abteilung V
CS-APX-Reports 2004 Copyright 2004 Universität Bonn, Institut für Informatik, Abt. V
8993

30.11.2004

Computational Complexity of Some Restricted Instances of 3SAT
Piotr Berman, Marek Karpinski and Alexander D. Scott
[Download PostScript] [Download PDF]

We prove results on the computational complexity of instances of 3SAT in which every variable occurs 3 or 4 times.

Last Change: 11/05/14 at 10:30:51
 English
Universität Bonn -> Institut für Informatik -> Abteilung V

Powered by Zope