Can I read Improved Randomized Algorithms for 3-SAT on EtoBox?

Improved Randomized Algorithms for 3-SAT by Sari Barhum is a document available to read on EtoBox.

What is Improved Randomized Algorithms for 3-SAT about?

This document presents a randomized algorithm for solving 3-SAT problems that improves upon a previous algorithm by Schöning from 1999. The algorithm is based on a randomized local search procedure that performs a random walk on the space of assignments. It flips the value of a randomly selected variable from an unsatisfied clause at each step. The analysis shows that the probability of finding a satisfying assignment is at least (1/2)^d, where d is the Hamming distance from the initial assignment to a sati

Author

Sari Barhum

Language

EN