Structure in satisfiability
This thesis examines the question of how it is possible to improve search techniques by better understanding hidden structure in Boolean Satisfiability problems. The backdoor structure, once found, makes a Satisfiability problem easy. This work provides ways of finding backdoors for analysis. It als...
| Main Author: | |
|---|---|
| Published: |
University of Strathclyde
2008
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.488552 |