A remark on random 2-SAT
- 15 October 1999
- journal article
- Published by Elsevier BV in Discrete Applied Mathematics
- Vol. 96-97, 107-110
- https://doi.org/10.1016/s0166-218x(99)00034-7
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A threshold for unsatisfiabilityLecture Notes in Computer Science, 1992
- Mick gets some (the odds are on his side) (satisfiability)Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- The transitive closure of a random digraphRandom Structures & Algorithms, 1990
- A linear-time algorithm for testing the truth of certain quantified boolean formulasInformation Processing Letters, 1979