No Cover Image

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