Theory and application of satisfiability testing - SAT 2011 : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /

Bibliographic Details
Corporate Authors:	SAT 2011 Ann Arbor, Mich., SpringerLink (Online service)
Other Authors:	Sakallah, Karem A., Simon, Laurent
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2011.
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6695.
Subjects:	Computer algorithms > Congresses. Computer software > Verification > Congresses. Propositional calculus > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online