2266 search results - page 313 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
144
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents an approach for constructing improved visual representations of high dimensional objective spaces using virtual reality. These spaces arise from the solution of...
125
Voted
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Web of Data is increasingly becoming an important infrastructure for such diverse sectors as entertainment, government, ecommerce and science. As a result, the robust...
111
Voted
CEC
2011
IEEE
14 years 3 months ago
2011
IEEE
—Multiobjective optimization problems have been widely addressed using evolutionary computation techniques. However, when dealing with more than three conflicting objectives (th...
129
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
133
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Co-evolution is the process in which two (or more) sets of orthologs exhibit a similar or correlative pattern of evolution. Co-evolution is a powerful way to learn abo...