Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran