E-Thesis 594 views 193 downloads
Hierarchies for efficient clausal entailment checking: With applications to satisfiability and knowledge compilation. / Matthew Gwynne
Swansea University Author: Matthew Gwynne
-
PDF | E-Thesis
Download (7.18MB)
Abstract
Hierarchies for efficient clausal entailment checking: With applications to satisfiability and knowledge compilation.
| Published: |
2014
|
|---|---|
| Institution: | Swansea University |
| Degree level: | Doctoral |
| Degree name: | Ph.D |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa42854 |
| College: |
Faculty of Science and Engineering |
|---|