Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Book Informaton
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings

Author

Carsten Sinz; Uwe Egly

Series

Lecture Notes in Computer Science

Volume

8561

Year of Publication

2014

Publisher

Springer International Publishing

Pages

XXVI, 448

Language

en

ISBN

9783319092836, 9783319092843, 3319092839

ARI Id

1664708741742

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 4 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Topics
Computer science Artificial intelligence Computer algorithms