Cover Image

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
Description
Item Description:"Reprinted from Journal of automated reasoning, volume 35, nos. 1-3 (2005)."
Electronic resource.
Physical Description:293 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references.
ISBN:1402055714
9781402055713
DOI:10.1007/978-1-4020-5571-3