Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings


Book Informaton

Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

Author

Luca Pulina; Martina Seidl

Series

Lecture Notes in Computer Science

Volume

12178

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XI, 538

Language

EN

ISBN

9783030518240, 9783030518257, 3030518248

ARI Id

1665262303514


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 38 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xi
1-10
11-27
28-45
46-61
62-71
72-88
89-106
107-113
114-122
123-138
139-148
149-165
166-181
182-200
201-217
218-232
233-249
250-266
267-276
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 38 entries