Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings


Book Informaton

Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Author

Chu-Min Li; Felip Manyà

Series

Lecture Notes in Computer Science

Volume

12831

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XI, 564

Language

en

ISBN

9783030802226, 9783030802233

ARI Id

1665326047676


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 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xi
1-10
11-20
21-29
30-46
47-63
64-81
82-97
98-115
116-133
134-151
152-170
171-187
188-206
207-215
216-224
225-241
242-250
251-269
270-279
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries