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.
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 |