SAT-2000: Highlights of Satisfiability Research in the Year 2000: 63 (Frontiers in Artificial Intelligence and Applications) - Hardcover

 
9781586030612: SAT-2000: Highlights of Satisfiability Research in the Year 2000: 63 (Frontiers in Artificial Intelligence and Applications)
Hardcover
ISBN 10: 1586030612 ISBN 13: 9781586030612
Publisher: SAGE Publications Ltd, 2006

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

"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.SAT 2000Highlights of Satisfiability Research in the Year 2000."

From the Inside Flap

"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.SAT 2000Highlights of Satisfiability Research in the Year 2000."

"About this title" may belong to another edition of this title.

Publisher
SAGE Publications Ltd
Publication date
2006
Language
English
ISBN 10 
1586030612
ISBN 13 
9781586030612
Binding
Hardcover
Edition number
1
Number of pages
568
Editor
Gent I., Walsh Toby, Van Maaren Hans