On the satisfiability threshold of formulas with three literals per clause☆,☆☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Partially supported by the Spanish CYCIT: TIN2007-66523 (FORMALISM). The first and second authors were also partially supported by the EU within the 7th Framework Programme under contract 215270 (FRONTS).
- ☆☆
An extended abstract of this paper was accepted for presentation at FSTTCS-08.
Copyright © 2009 Elsevier B.V. All rights reserved.