IEEE - Institute of Electrical and Electronics Engineers, Inc. - Satisfiability Coding Lemma

Proceedings 38th Annual Symposium on Foundations of Computer Science

Author(s): Paturi, R. ; Pudlak, P. ; Zane, F.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Miami Beach, FL, USA, USA
Conference Date: 20 October 1997
Page(s): 566 - 574
ISBN (Paper): 0-8186-8197-7
ISSN (Paper): 0272-5428
DOI: 10.1109/SFCS.1997.646146
Regular:

We present and analyze two simple algorithms for finding satisfying assignments of /spl kappa/-CNFs (Boolean formulae in conjunctive normal form with at most /spl kappa/ literals per clause). The... View More

Advertisement