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 > Simplified and Improved Separations Between Regular and General Resolution by Lifting
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings |
Luca Pulina; Martina Seidl
Springer International Publishing
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Simplified and Improved Separations Between Regular and General Resolution by Lifting
Authors

Marc Vinyals; Jan Elffers; Jan Johannsen; Jakob Nordström

ARI Id

1665262303514_5613629

Access

Not Available Free

Pages

182-200

DOI

10.1007/978-3-030-51825-7_14

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-51825-7_14

Table of Contents of Book
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings