MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Randomized Algorithms for 3-SAT." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • 3-SAT in RTIME(1.32971^n)  
  • by Daniel Rolf, Supervisor Dr. Deryk Osthus — 2003
  • … wrong. We will present a new randomized algorithm for 3-SAT, which lowers the currently known best bound…
  • Add To MetaCart
  • Abstract The Complexity of Unique-SAT:  
  • by An Isolation Lemma For -cnfs
  • randomized algorithm for 3-SAT is given in [HSSW02]. For , the best known randomized algorithm is due…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB