2266 search results - page 42 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
GECCO
2008
Springer
15 years 26 days ago
2008
Springer
Capability planning problems are pervasive throughout many areas of human interest with prominent examples found in defense and security. Planning provides a unique context for op...
STOC
1993
ACM
15 years 3 months ago
1993
ACM
Abstract. The subject of this paper is nding small sample spaces for joint distributions of n discrete random variables. Such distributions are often only required to obey a certa...
ICS
2010
Tsinghua U.
15 years 3 months ago
2010
Tsinghua U.
Quantum k-SAT is the problem of deciding whether there is a n-qubit state which is perpendicular to a set of vectors, each of which lies in the Hilbert space of k qubits. Equivale...
108
click to vote
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
Many real-world problems are multi-objective optimization problems and evolutionary algorithms are quite successful on such problems. Since the task is to compute or approximate t...
113
click to vote
IEEESCC
2005
IEEE
15 years 5 months ago
2005
IEEE
The emerging paradigms of service oriented architectures and utility-based computing have the potential to greatly reduce the cost of data management. Data management service prov...