2266 search results - page 23 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
SAC
2008
ACM
14 years 11 months ago
2008
ACM
183
click to vote
UPP
2004
Springer
15 years 5 months ago
2004
Springer
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
104
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
Multiobjective evolutionary algorithms (MOEA) are an effective tool for solving search and optimization problems containing several incommensurable and possibly conflicting objec...
AIPS
2006
15 years 1 months ago
2006
Planning as satisfiability (SAT-Plan) is one of the best approaches to optimal planning, which has been shown effective on problems in many different domains. However, the potenti...
CSCLP
2007
Springer
15 years 6 months ago
2007
Springer
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...