Randomized algorithms for 3-SAT
From MaRDI portal
Publication:870448
DOI10.1007/s00224-005-1275-6zbMath1109.68133MaRDI QIDQ870448
Rainer Schuler, Thomas Hofmeister, Osamu Watanabe, Uwe Schoening
Publication date: 12 March 2007
Published in: Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00224-005-1275-6
68W20: Randomized algorithms
Related Items
A randomized algorithm for 3-SAT, Solving and sampling with many solutions, Exploiting independent subformulas: a faster approximation scheme for \(\# k\)-SAT