Approaches to the satisfiability problem of propositional logic
By: J.G Harris ; supervised by T. Scheurer.
Contributors: Scheurer, T.; Computation.
Publisher: UMIST
Published: 1994
Place of publication: Manchester
Language: eng
Notes: Thesis Number: 11365.

MSc.