Cover Image

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: SAT 2006 Seattle, Wash.
Other Authors: Biere, Armin, Gomes, Carla
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:Lecture notes in computer science. 4121.
Subjects:
Propositional calculus > Congresses.
Decision making > Congresses.
Computer algorithms > Congresses.
Algebra, Boolean > Congresses.
Satisfiability testing

Remote Storage

Holdings details from Remote Storage
Call Number: QA9.3 .S365 2006
 
Call Number Status Get It
QA9.3 .S365 2006 Available