2266 search results - page 261 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
110
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
140
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
We describe conditions under which an appropriately-defined anisotropic Voronoi diagram of a set of sites in Euclidean space is guaranteed to be composed of connected cells in an...
129
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
The runtime analysis of randomized search heuristics is a growing field where, in the last two decades, many rigorous results have been obtained. These results, however, apply pa...
124
Voted
COMBINATORICS
2006
15 years 3 months ago
2006
We present an algorithm which decides the shift equivalence problem for Pfinite sequences. A sequence is called P-finite if it satisfies a homogeneous linear recurrence equation w...
143
click to vote
MOC
2002
15 years 3 months ago
2002
We provide a subexponential algorithm for solving the discrete logarithm problem in Jacobians of high-genus hyperelliptic curves over finite fields. Its expected running time for i...