2266 search results - page 209 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
106
click to vote
FUIN
2010
15 years 1 months ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
114
click to vote
ESTIMEDIA
2009
Springer
15 years 9 months ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
106
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
There has been a considerable body of work on search–based test data generation for branch coverage. However, hitherto, there has been no work on multi–objective branch covera...
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
Evolutionary Algorithms (EAs), popular search methods for solving search and optimization problems, are known for successful and fast location of single optimal solutions. However,...
123
click to vote
ICNC
2005
Springer
15 years 8 months ago
2005
Springer
Advances in grid computing have recently sparkled the research and development of Grid problem solving environments for complex design. Parallelism in the form of distributed compu...