2266 search results - page 284 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
104
Voted
BIOSYSTEMS
2007
15 years 3 months ago
2007
Noise and component failure is an increasingly difficult problem in modern electronic design. Bioinspired techniques is one approach that is applied in an effort to solve such is...
135
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— There is a growing interest among service providers to offer new services with Quality of Service (QoS) guaranties that are also resilient to failures. Supporting QoS connectio...
126
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We investigate the problem of maintaining a topology with small degree as well as small diameter in a dynamic distributed system such that the system always stays connected and pr...
152
click to vote
JSAT
2008
15 years 3 months ago
2008
The local search algorithm GSAT is based on the notion of Satisfiability. It has been used successfully for colouring graphs, solving instances of the 3SAT problem, planning block...
145
click to vote
TEC
2008
15 years 3 months ago
2008
We propose the use of a new algorithm to solve multiobjective optimization problems. Our proposal adapts the well-known scatter search template for single objective optimization to...