Publisher Summary The past few years have seen enormous progress in the performance of
Boolean satisfiability (SAT) solvers. Despite the worst-case exponential run time of all known …

The past five years have seen dramatic advances in planning algorithms, with an emphasis
on propositional methods such as GRAPHPLAN and compilers that convert planning …

Quantum software plays a critical role in exploiting the full potential of quantum computing
systems. As a result, it has been drawing increasing attention recently. This paper defines …

Contemporary integrated circuits are designed and manufactured in a globalized
environment leading to concerns of piracy, overproduction and counterfeiting. One class of …

A unified view of metaheuristics This book provides a complete background on
metaheuristics and shows readers how to design and implement efficient algorithms to solve …

This book provides a comprehensive and much needed introduction to the field by one of its
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Honey-bees are one of the most well studied social insects. They exhibit many features that
distinguish their use as models for intelligent behavior. These features include division of …

This paper studies the multi-robot task assignment problem in which a fleet of dispersed
robots needs to efficiently transport a set of dynamically appearing packages from their initial …

We study the satisfiability of randomly generated formulas formed by M clauses of exactly K
literals over N Boolean variables. For a given value of N the problem is known to be most …