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
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
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 38 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 38 entries