1589 search results - page 29 / 318 » Multiple-Goal Heuristic Search |
110
Voted
CP
2009
Springer
15 years 10 months ago
2009
Springer
WIKIS
2009
ACM
15 years 9 months ago
2009
ACM
115
click to vote
IJCNN
2007
IEEE
15 years 9 months ago
2007
IEEE
— Solvers for the Boolean satisfiability problem are an important base technology for many applications. The most efficient SAT solvers for industrial applications are based on...
SARA
2007
Springer
15 years 9 months ago
2007
Springer
CP
2005
Springer
15 years 8 months ago
2005
Springer
