Implicates and prime implicates in Random 3-SAT
Under an Elsevier user license
open archive
Keywords
Prime implicates
Minimal nogoods
Random 3-SAT
Phase transition
Search
Knowledge compilation
Finite-size scaling
Propositional satisfiability
Cited by (0)
Copyright © 1996 Published by Elsevier B.V.