Limit search to available items
Book Cover
E-book
Author SAT 2006 (2006 : Seattle, Wash.)

Title Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / Armin Biere, Carla P. Gomes (eds.)
Published Berlin ; New York : Springer, [2006]
©2006
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xii, 438 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4121
Lecture notes in computer science ; 4121. 0302-9743
Analysis Satisfiability testing
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Propositional calculus -- Congresses.
Decision making -- Congresses.
Computer algorithms -- Congresses.
Algebra, Boolean -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Biere, Armin.
Gomes, Carla.
LC no. 2006930253
ISBN 9783540372073
3540372075
3540372067
9783540372066
Other Titles SAT 2006