SAT 2005 : satisfiability research in the year 2005 /

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Giunchiglia, Enrico, Walsh, Toby
Format:	eBook
Language:	English
Published:	Dordrecht : Springer, [2006]
Subjects:	Computational complexity. Computer algorithms. Propositional calculus. Electronic books.
Online Access:	Connect to the full text of this electronic book