FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: