Cover is for reference only

Theory and applications of satisfiability testing：SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: SAT 2007 (2007 Lisbon, Portugal); NetLibrary, Inc.
Group Author: Sakallah Karem A.; Marques-Silva João.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2007.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 4501
Subjects:
Decision making.
Computer algorithms
Electronic books.
Propositional calculus.
Online Access: http://dx.doi.org/10.1007/978-3-540-72788-0
Carrier Form: xi, 384 p.: ill. ; 24 cm.
ISBN: 9783540727880 (electronic bk.)
3540727884 (electronic bk.)
Index Number: TP301
CLC: TP301.6-532
TP181-532
Contents: Includes bibliographical references and index.

Related Book Recommendations