1543406
9781586030612
Out of Stock
The item you're looking for is currently unavailable.
The book 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 this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications, and extensions beyond propositional SAT.Gentles, Ian is the author of 'Sat2000 Highlights of Satisfiability Research in the Year 2000' with ISBN 9781586030612 and ISBN 1586030612.
[read more]