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

Hardcover

ISBN 10: 1586030612 ISBN 13: 9781586030612

Verlag: IOS Press,US, 2000

Inhaltsangabe

Book by None

Über diesen Titel

Reseña del editor

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.

Nota de la solapa

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

Über diese Auflage

• Verlag: IOS Press,US
• Erscheinungsdatum: 2000
• ISBN 10: 1586030612
• ISBN 13: 9781586030612
• Einband: Tapa dura
• Anzahl der Seiten: 568
• Herausgeber: Gent I., Maaren H. Van, Walsh T.