1
Published 2005
Table of Contents: ... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...
View full text
Electronic eBook