This book is currently unavailable on Open Library, check out available alternatives.
An edition of Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

Theory and Applications of Satisfiability Testing -- SAT 2015

18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

by and

Theory and Applications of Satisfiability Tes ...
Marijn Heule, Sean Weaver, Mar ...
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by ImportBot
December 29, 2021 | History
Edit
An edition of Theory and Applications of Satisfiability Testing -- SAT 2015 (2015)

Theory and Applications of Satisfiability Testing -- SAT 2015

18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

by and

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

Publish Date
Publisher
Springer International Publishing AG
Language
English

Check nearby libraries

Buy this book

Subjects

Computer algorithms Computer software, verification
Edition Availability
Cover of: Theory and Applications of Satisfiability Testing -- SAT 2015
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
2015, Springer London, Limited
in English
Cover of: Theory and Applications of Satisfiability Testing -- SAT 2015
Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
2015, Springer International Publishing AG
in English

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
xix, 436
Weight
6.847

Edition Identifiers

Open Library
OL36216540M
ISBN 13
9783319243177

Work Identifiers

Work ID
OL26745156W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation