An edition of Theory and Applications of Satisfiability Testing - SAT 2009 (2009)

Theory and Applications of Satisfiability Testing - SAT 2009

by

Cover of: Theory and Applications of Satisfiability Testing - SAT 2009 by Oliver Kullmann, Oliver Kullmann
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

Last edited by ImportBot
September 19, 2020 | History
Edit
An edition of Theory and Applications of Satisfiability Testing - SAT 2009 (2009)

Theory and Applications of Satisfiability Testing - SAT 2009

by

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

Publish Date
Publisher
Springer
Pages
554

Check nearby libraries

Buy this book

Edition Availability
Cover of: Theory and Applications of Satisfiability Testing - SAT 2009
Theory and Applications of Satisfiability Testing - SAT 2009
Jul 14, 2009, Springer
paperback
Cover of: Theory and Applications of Satisfiability Testing - SAT 2009
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
2009, Springer London, Limited
in English

Add another edition?

Book Details

The Physical Object

Format
paperback
Number of pages
554

Edition Identifiers

Open Library
OL30374027M
ISBN 10
3642027784
ISBN 13
9783642027789

Work Identifiers

Work ID
OL22298467W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON