Searching for "Restarts and exponential acceleration of the Davis-Putnam-Loveland-Logemann algorithm A large deviation analysis of the generalized unit clause heuristic for random 3-SAT." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Restarts and exponential acceleration of the DavisPutnam -Loveland-Logemann algorithm: a large
by Analysis Of The, Simona Cocco I, Rsmi Mortassort
…Restarts and exponential acceleration of the DavisPutnam -Loveland-Logemann algorithm: a large…
Add To MetaCart

Showing 1 through 1.

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