Searching for "Approximating the unsatisfiability threshold of random formulas." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Approximating the unsatisfiability threshold of random formulas
by Lefteris M. Kirousis, Evangelos Kranakis, Danny Krizanc, Yannis C. Stamatiou — 1998
…� � � � Approximating the Unsatisfiability Threshold of Random Formulas � , † Lefteris M. Kirousis…
Cited by 66 (14 self) – Add To MetaCart

An Inequality for Reducible, Increasing Properties of Randomly Generated Words
by Lefteris Kirousis, Yannis C. Stamatiou — 1997
… the unsatisfiability threshold of random formulas consisting of clauses of k literals ([1]), where the usual process…
Cited by 6 (3 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB