2266 search results - page 242 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
129
click to vote
ASPDAC
2009
ACM
16 years 1 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
158
click to vote
ORL
2008
15 years 6 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 ...
183
click to vote
IJCIA
2002
15 years 6 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 ...
136
click to vote
ECAI
1994
Springer
15 years 10 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...
150
click to vote
STOC
2002
ACM
16 years 7 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 ...