An attempt to automate NP-hardness reductions via SOE logic
Abstract (Summary)"A thesis presented to the University of Waterloo in fulfillment of the thesis requirements for the degree of Master of Mathematics in Computer Science." Includes bibliographical references.
School:University of Waterloo
School Location:Canada - Ontario
Source Type:Master's Thesis
Date of Publication: