Cite this
Email this
Export Record
Save to List
Order a print copy

Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

Saved in:
Bibliographic Details
Other Authors: Hoos, Holger H. (Editor) 
Mitchell, David G., 1957- (Editor) 
Conference: SAT 2004 (Vancouver, Britská Kolumbie)
Format: Book
Language:English
Published: Berlin : Springer, 2005
Series:Lecture notes in computer science, 3542
Genre/form:sborníky konferencí
ISBN:3-540-27829-X
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image
Description
Physical Description:xiii, 392 s. : il.
Bibliography:Obsahuje bibliografii a rejstřík