Searching for "A new upper bound for 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.

A new upper bound for 3-SAT ∗
by J. Díaz, L. Kirousis, D. Mitsche, X. Pérez-giménez
…. Hariharan, M. Mukund, V. Vinay; pp 163-174 A new upper bound for 3-SAT ∗ J. Díaz 1 , L. Kirousis 2,3 , D…
Add To MetaCart

Showing 1 through 1.

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