Sciweavers

CORR
2008
Springer
74views Education» more  CORR 2008»
13 years 4 months ago
On the random satisfiable process
In this work we suggest a new model for generating random satisfiable k-CNF formulas. To generate such formulas
Michael Krivelevich, Benny Sudakov, Dan Vilenchik