Randomized algorithms for 3-SAT
From MaRDI portal
Publication:870448
DOI10.1007/s00224-005-1275-6zbMath1109.68133OpenAlexW2002838007MaRDI 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
Related Items (3)
A randomized algorithm for 3-SAT ⋮ Exploiting independent subformulas: a faster approximation scheme for \(\# k\)-SAT ⋮ Solving and sampling with many solutions
This page was built for publication: Randomized algorithms for 3-SAT