5138 search results - page 461 / 1028 » Randomized Algorithms for 3-SAT |
177
Voted
SODA
2008
ACM
15 years 8 months ago
2008
ACM
We prove that binary linear concatenated codes with an outer algebraic code (specifically, a folded Reed-Solomon code) and independently and randomly chosen linear inner codes ach...
164
click to vote
AAAI
2004
15 years 8 months ago
2004
The evaluation of incomplete satisfiability solvers depends critically on the availability of hard satisfiable instances. A plausible source of such instances consists of random k...
141
Voted
SODA
2003
ACM
15 years 8 months ago
2003
ACM
We introduce the following consensus estimate problem. Several processors hold private and possibly different lower bounds on a value. The processors do not communicate with each ...
161
click to vote
JACM
2007
15 years 6 months ago
2007
This article provides a new conceptual perspective on survey propagation, which is an iterative algorithm recently introduced by the statistical physics community that is very effe...
180
click to vote
TSMC
1998
15 years 6 months ago
1998
—Consider the problem of a robot (learning mechanism or algorithm) attempting to locate a point on a line. The mechanism interacts with a random environment which essentially inf...