@dblp

Improved Randomized Algorithms for 3-SAT.

, , , and . ISAAC (1), volume 6506 of Lecture Notes in Computer Science, page 73-84. Springer, (2010)

Links and resources

Tags