On the random satisfiable process

13 years 11 months ago

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

CORR 2008 | Education | Formulas | Satisfiable K-CNF Formulas | Satisfying Assignment |

claim paper

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2008
Where	CORR
Authors	Michael Krivelevich, Benny Sudakov, Dan Vilenchik

Comments (0)