![Cover image for Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).](/client/assets/5.1326/ctx//client/images/no_image.png "Cover image for Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).")
Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).
Electronic Access:
Bibliographic record display DSU Current Faculty/Staff/Students click here An electronic book accessible through the World Wide Web; click for information
Title:
Theory and applications of satisfiability testing [electronic resource] : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.).
Conference Author:
Publisher:
Berlin ; New York : Springer,
Publication Date:
2004
ISBN:
9783540246053
Series:
Lecture notes in computer science,
Series Search:
Volume:
2919
Bibliography Note:
Includes bibliographical references and index.
Volume:
2919
Added Corporate Author:
Genre:
Language:
English
