Sat2000: Highlights of Satisfiability Research in the Year 2000 - Couverture rigide

 
9781586030612: Sat2000: Highlights of Satisfiability Research in the Year 2000
Couverture rigide
ISBN 10 : 1586030612 ISBN 13 : 9781586030612
Editeur : IOS Press,US, 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
IOS Press,US
Date d'édition
2006
Langue
anglais
ISBN 10 
1586030612
ISBN 13 
9781586030612
Reliure
Relié
Nombre de pages
568
Éditeur
Gent I., Walsh Toby, Van Maaren Hans
Coordonnées du fabricant
non disponible
Personne responsable
non disponible