Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings


Book Informaton

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Author

Armin Biere; Carla P. Gomes

Series

Lecture Notes in Computer Science

Volume

4121

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Pages

XII, 440

Language

en

ISBN

9783540372066, 9783540372073, 3540372067

ARI Id

1664727363264


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 41 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-9
10-10
11-21
22-35
36-41
42-47
48-53
54-60
61-74
75-89
90-95
96-101
102-115
116-129
130-135
136-141
142-155
156-169
170-183
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries