2266 search results - page 422 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
110
click to vote
BIRD
2008
Springer
15 years 3 months ago
2008
Springer
Finding motifs in biological sequences is one of the most intriguing problems for string algorithms designers due to, on the one hand, the numerous applications of this problem in...
127
click to vote
EVOW
2008
Springer
15 years 3 months ago
2008
Springer
Advances in modern technologies for measuring protein-protein interaction (PPI) has boosted research in PPI networks analysis and comparison. One of the challenging problems in com...
122
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problem...
146
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Computational grids offer users a simple access to tremendous computer resources for solving large scale computing problems. Traditional performance analysis of scheduling algorit...
120
Voted
AAMAS
2008
Springer
15 years 1 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...