Theory and applications of satisfiability testing
Subtitle: SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings
By: Joao Marques-Silva, Karem A. Sakallah (eds.).
Contributors: Marques-Silva, João.; Sakallah, Karem A.
Series: Lecture notes in computer science -- 4501
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 384
ISBN-13: 9783540727873
Subjects: Propositional calculus -- Congresses; Computer algorithms -- Congresses.; Decision making -- Congresses.
Genres: Congresses; Congresses.
Other titles: SAT 2007
Notes: Includes bibliographical references and index.