Search alternatives:
contract length » constant length, tract length
Cover Image
Read Now

1
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”