Sciweavers

3495 search results - page 4 / 699
» On the random satisfiable process
Sort
View
102
Voted
AI
2007
Springer
15 years 3 months ago
Random constraint satisfaction: Easy generation of hard (satisfiable) instances
Ke Xu, Frédéric Boussemart, Fred Hem...
77
Voted
DAM
2007
52views more  DAM 2007»
15 years 3 months ago
Random backtracking in backtrack search algorithms for satisfiability
Inês Lynce, João P. Marques Silva
101
Voted
WSC
2001
15 years 5 months ago
Using common random numbers for indifference-zone selection
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...
E. Jack Chen
152
Voted
FOCS
1999
IEEE
15 years 8 months ago
A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems
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...
Uwe Schöning
134
Voted
AAAI
2008
15 years 6 months ago
Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems
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...
Yong Gao