Book chapter 1550 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 |
| Abstract: |
The precursor of the TCS 1999 article. |
|---|---|
| Keywords: |
SAT, algorithms, worst-case upper bounds |
| College: |
Faculty of Science and Engineering |
| Start Page: |
261 |
| End Page: |
313 |