Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings


Book Informaton

Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Author

Nadia Creignou; Daniel Le Berre

Series

Lecture Notes in Computer Science

Volume

9710

Year of Publication

1st ed. 2016

Publisher

Springer International Publishing

Pages

XXIV, 564

Language

EN

ISBN

9783319409696, 9783319409702

ARI Id

1664727124264


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 46 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XXIV
1-1
3-12
13-28
29-44
45-59
60-76
77-84
85-85
87-103
104-122
123-140
141-159
160-176
177-177
179-195
196-211
212-227
228-245
247-247
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 46 entries