Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings


Book Informaton

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Author

Oliver Kullmann

Series

Lecture Notes in Computer Science

Volume

5584

Year of Publication

2009

Publisher

Springer Berlin Heidelberg

Pages

XII, 540

Language

EN

ISBN

9783642027765, 9783642027772

ARI Id

1664706085789


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 49 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-3
4-17
18-31
32-44
45-50
51-64
65-72
73-79
80-85
86-100
101-113
114-127
128-140
141-146
147-160
161-166
167-180
181-194
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 49 entries