Preprocessing of Propagation Redundant Clauses
Authors: Joseph Reeves, Marijn Heule and Randal Bryant
Paper Information
| Title: | Preprocessing of Propagation Redundant Clauses |
| Authors: | Joseph Reeves, Marijn Heule and Randal Bryant |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | propagation redundant proof, SAT solving, preprocessing, verification |
| Pages: | 19 |
| Talk: | Aug 08 16:20 (Session 98D: Preprocessing and Simplification) |
| Paper: |  |