Journal article 1790 views
New methods for 3-SAT decision and worst-case analysis
Theoretical Computer Science, Volume: 223, Issue: 1-2, Pages: 1 - 72
Swansea University Author:
Oliver Kullmann
Full text not available from this repository: check for access using links below.
DOI (Published version): 10.1016/S0304-3975(98)00017-6
Abstract
New methods for 3-SAT decision and worst-case analysis
| Published in: | Theoretical Computer Science |
|---|---|
| Published: |
1999
|
| Online Access: |
http://www.sciencedirect.com/science/article/pii/S0304397598000176 |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa21436 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Issue: |
1-2 |
| Start Page: |
1 |
| End Page: |
72 |

