Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings


Book Informaton

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Author

Fahiem Bacchus; Toby Walsh

Series

Lecture Notes in Computer Science

Volume

3569

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

Pages

XII, 492

Language

en

ISBN

9783540262763, 9783540316794, 3540262768

ARI Id

1664722027324


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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 44 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-30
31-45
46-60
61-75
76-90
91-106
107-121
122-134
135-142
143-157
158-172
173-186
187-202
203-215
216-225
226-240
241-256
257-268
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 44 entries