Book chapter 581 views
Worst-case Analysis, 3-SAT Decision and Lower Bounds: Approaches for Improved SAT Algorithms / Oliver Kullmann
Satisfiability Problem: Theory and Applications (DIMACS Workshop March 11-13, 1996), Volume: 35, Pages: 261 - 313
Swansea University Author: Oliver, Kullmann
Abstract
The precursor of the TCS 1999 article.
Published in: | Satisfiability Problem: Theory and Applications (DIMACS Workshop March 11-13, 1996) |
---|---|
Published: |
American Mathematical Society
1997
|
URI: | https://cronfa.swan.ac.uk/Record/cronfa19385 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Abstract: |
The precursor of the TCS 1999 article. |
---|---|
Keywords: |
SAT, algorithms, worst-case upper bounds |
College: |
College of Science |
Start Page: |
261 |
End Page: |
313 |