An edition of Theory and Applications of Satisfiability Testing (2005)

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

by and

Theory and Applications of Satisfiability Tes ...
Holger H. Hoos, David G. Mitch ...
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 25, 2021 | History
Edit
An edition of Theory and Applications of Satisfiability Testing (2005)

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

by and

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer London, Limited
Language
English

Check nearby libraries

Buy this book

Subjects

Decision making, Computer algorithms, Sat (educational test)
Edition Availability
Cover of: Theory and Applications of Satisfiability Testing
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
2005, Springer London, Limited
in English

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
xiii, 393

Edition Identifiers

Open Library
OL35759946M
ISBN 13
9783540315803

Work Identifiers

Work ID
OL26467789W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
December 25, 2021 Created by ImportBot import new book