SAT2000

Highlights of Satisfiability Research in the Year 2000

Share
Editors
Gent, I., Van Maaren, H., Walsh, T.
Pub. date
January 2000
Pages
568
Binding
hardcover
Volume
63 of Frontiers in Artificial Intelligence and Applications
ISBN print
978-1-58603-061-2
Subject
Artificial Intelligence, Computer & Communication Sciences
€130 / US$143 Excl. VAT
Order SAT2000 ISBN @ €130.00

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