This second edition explains what automated reasoning is and what it can do, and then demonstrates how to use it to solve complex problems with applications in

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' -

This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated R

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in Augus