Theory and applications of satisfiability testing--SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings /

Bibliographic Details
Corporate Author:	SAT 2009 Swansea, Wales
Other Authors:	Kullmann, Oliver
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2009]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5584.
Subjects:	Algebra, Boolean > Congresses. Computer algorithms > Congresses. Decision making > Congresses. Propositional calculus > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online