Theory and applications of satisfiability testing-- SAT 2010
Subtitle: 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings
By: Ofer Strichman, Stefan Szeider (eds.).
Contributors: Strichman, Ofer; Szeider, Stefan
Series: Lecture notes in computer science -- 6175; LNCS sublibrary: SL 1 -- Theoretical computer science and general issues; Lecture notes in computer science -- 6175.; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin
Language: eng
Number of pages: 400
ISBN-13: 9783642141850
Subjects: Computer algorithms; Propositional calculus; Congresses; Decision making
Notes: Includes bibliographical references and index.