Journal article 1402 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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
College: |
Faculty of Science and Engineering |
---|---|
Issue: |
1-2 |
Start Page: |
1 |
End Page: |
72 |