Structure in satisfiability
| Autor: | Gregory, Peter |
|---|---|
| Rok vydání: | 2008 |
| Předmět: | |
| Druh dokumentu: | Electronic Thesis or Dissertation |
| Popis: | 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 also provides a general theoretical description of what back doors represents. |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|