| 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: |
|
||||||
| 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: | |||||||