Combinatorial Search: From Algorithms to Systems

• Main Author: Hamadi, Youssef (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Subjects: Computer science.; Computers.; Computer science > Mathematics.; Artificial intelligence.; Mathematical optimization.; Computational intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Computational Intelligence.; Theory of Computation.; Optimization.; Discrete Mathematics in Computer Science.

Although they are believed to be unsolvable in general, tractability results suggest that some practical NP-hard problems can be efficiently solved. Combinatorial search algorithms are designed to efficiently explore the usually large solution space of these instances by reducing the search space to...