2266 search results - page 6 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the M...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
The proliferation of all kinds of devices with different security requirements and constraints, and the arms-race nature of the security problem are increasingly demanding the de...
ALGORITHMICA
2008
14 years 9 months ago
2008
We present exact algorithms with exponential running times for variants of n-element set cover problems, based on divide-and-conquer and on inclusion
KR
2000
Springer
15 years 1 months ago
2000
Springer
This paper makes three observations with regard to the application of algorithms such as wsat and relsat to problems of practical interest. First, we identify a specific calculati...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
In this work the performance of several local search and metaheuristic methods is compared to previously reported work using evolutionary algorithms. The results show that while m...