Use this URL to cite or link to this record in EThOS: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.777407
Title: Symmetry and complexity in propositional reasoning
Author: Molony, Jim
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 2000
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
Abstract:
We establish computational complexity results for a number of simple problem formulations connecting group action and prepositional formulas. The results are discussed in the context of complexity results arising from established work in the area of automated reasoning techniques which exploit symmetry.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.777407  DOI: Not available
Share: