Sciweavers

Share
CORR
2008
Springer

On the random satisfiable process

8 years 2 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
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Michael Krivelevich, Benny Sudakov, Dan Vilenchik
Comments (0)
books