10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Sat2000

View All Editions

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Sat2000 Synopsis

This work is devoted to various disciplines in satisfiability research and aims to give the reader an impression of the state of the art of this research in the year 2000. It consists of a compilation of articles on: complete methods; stochastic methods; applications; and extensions.

About This Edition

ISBN: 9781586030612
Publication date: 1st January 2000
Author: I Gent, H Van Maaren, T Walsh
Publisher: IOS Press
Format: Hardback
Pagination: 568 pages
Series: Frontiers in Artificial Intelligence and Applications
Genres: Artificial intelligence