×

zbMATH — the first resource for mathematics

Two new upper bounds for SAT. (English) Zbl 0936.68113
Proceedings of the 9th annual ACM-SIAM symposium on Discrete algorithms. San Francisco, CA, USA, January 25-27, 1998. Philadelphia, PA: SIAM. 521-530 (1998).

MSC:
68W05 Nonnumerical algorithms
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
Keywords:
SAT algorithms
PDF BibTeX XML Cite