'Sat heuristic' presentation slideshows

Sampling Combinatorial Space Using Biased Random Walks

Sampling Combinatorial Space Using Biased Random Walks. Jordan Erenrich, Wei Wei and Bart Selman Dept. of Computer Science Cornell University. Many forms of probabilistic reasoning can be effectively reduced to sampling satisfying assignments from a Boolean formula (an instance of SAT).

224 views • 10 slides