2266 search results - page 242 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
ASPDAC
2009
ACM
15 years 9 months ago
2009
ACM
- We proposed a novel Boolean Satisfiability (SAT)-controlled redundancy addition and removal (RAR) algorithm to resolve the performance and quality problems of
115
click to vote
ORL
2008
15 years 3 months ago
2008
This paper presents an algorithm that converges to points that satisfy a first order necessary condition of weakly Pareto solutions of multiobjective optimization problems. Hints ...
138
Voted
IJCIA
2002
15 years 3 months ago
2002
An interesting problem which has been widely investigated is under what circumstances will a society of rational agents realize some particular stable situations, and whether they ...
ECAI
1994
Springer
15 years 7 months ago
1994
Springer
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consi...
105
click to vote
STOC
2002
ACM
16 years 3 months ago
2002
ACM
: We initiate the study of a new measure of approximation. This measure compares the performance of an approximation algorithm to the random assignment algorithm. This is a useful ...