Theory and applications of satisfiability testing--SAT 2008
Subtitle: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings
By: Hans Kleine Büning, Xishun Zhao (eds.)
Contributors: Kleine Büning, H.; Zhao, Xishun.
Series: Lecture notes in computer science -- 4996; LNCS sublibrary
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 304
ISBN-13: 9783540797180
Subjects: Propositional calculus -- Congresses; Decision making -- Congresses; Computer algorithms -- Congresses; Algebra, Boolean -- Congresses
Genres: Congresses
Other titles: Satisfiability testing; SAT 2008
Notes: Includes bibliographical references and index.