Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

95

CORR
2008
Springer

69views Education» more CORR 2008»

Phase transition for Local Search on planted SAT

15 years 3 months ago

Phase transition for Local Search on planted SAT

Download people.cs.ubc.ca

Andrei A. Bulatov, Evgeny S. Skvortsov

Real-time Traffic

CORR 2008 | Education |

claim paper

Related Content

» Stochastic Local Search in kTerm DNF Learning

» Analyzing Walksat on random formulas

» Complexity of MaxSAT using stochastic algorithms

» Random Walk with Continuously Smoothed Variable Weights

» VARSAT Integrating Novel Probabilistic Inference Techniques with DPLL Search

» The Scaling of Search Cost

» Preprocessing ExpressionBased Constraint Satisfaction Problems for Stochastic Local Search

» From Local Search to Global Behavior Ad Hoc Network Example

» Efficient SAT Techniques for Absolute Encoding of Permutation Problems Application to Hami...

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	CORR
Authors	Andrei A. Bulatov, Evgeny S. Skvortsov

Comments (0)