SAT-2000
Highlights of Satisfiability Research in the Year 2000
1st Edition
Published on 15. May 2006
Book
Hardback
568 pages
978-1-58603-061-2 (ISBN)
Description
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.
More details
Language
English
Place of publication
London
Netherlands
Publishing group
IOS Press
Target group
Professional and scholarly
ISBN-13
978-1-58603-061-2 (9781586030612)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification