470 search results - page 55 / 94 » Tabu Search for SAT |
84
Voted
LSGRID
2004
Springer
15 years 6 months ago
2004
Springer
In this study, a new Genetic Algorithm (GA) using the Tabu · Local Search mechanism is proposed. The GA described in this paper is considered a Mega Process GA, which has an effe...
100
Voted
AMAI
2005
Springer
15 years 19 days ago
2005
Springer
Mediator systems integrate distributed, heterogeneous and autonomous data sources, but their e ective use requires the solution of hard query optimization problems. This is usuall...
133
Voted
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
122
click to vote
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
86
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Non-trivial linear straight-line programs over the Galois field of two elements occur frequently in applications such as encryption or high-performance computing. Finding the shor...