2266 search results - page 318 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
149
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
This contribution is the first to discover exploitable structural features within circuit optimization problems (COP) and discuss how it is indicative of a general structure and ...
168
click to vote
CEC
2003
IEEE
16 years 1 days ago
2003
IEEE
Although many methods for dealing with multi-objective optimisation (MOO) problems are available [Deb01] and successful applications have been reported [Coe01], the comparison betw...
169
click to vote
EVOW
2000
Springer
15 years 10 months ago
2000
Springer
Modern VLSI design methodologies and manufacturing technologies are making circuits increasingly fast. The quest for higher circuit performance and integration density stems from f...
238
click to vote
FOGA
2011
14 years 10 months ago
2011
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
188
click to vote
SAT
2005
Springer
16 years 7 days ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...