3495 search results - page 4 / 699 » On the random satisfiable process |
AI
2007
Springer
13 years 9 months ago
2007
Springer
DAM
2007
13 years 9 months ago
2007
WSC
2001
13 years 11 months ago
2001
This paper discusses the validity of using common random numbers (CRNs) with two-stage selection procedures to improve the possibility of correct selection and discusses the intri...
FOCS
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a simple probabilistic algorithm for solving kSAT, and more generally, for solving constraint satisfaction problems (CSP). The algorithm follows a simple localsearch pa...
AAAI
2008
13 years 12 months ago
2008
The study of random instances of NP complete and coNP complete problems has had much impact on our understanding of the nature of hard problems. In this work, we initiate an effor...