Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings > DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings |
Carsten Sinz; Uwe Egly
Springer International Publishing
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
Authors

Nathan Wetzler; Marijn J. H. Heule; Warren A. Hunt Jr.

ARI Id

1664708741742_2843665

Access

Not Available Free

Pages

422-429

DOI

10.1007/978-3-319-09284-3_31

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-09284-3_31

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