Combining CDCL, Gauss-Jordan Elimination, and Proof Generation
Authors: Randal Bryant and Mate Soos
Paper Information
| Title: | Combining CDCL, Gauss-Jordan Elimination, and Proof Generation |
| Authors: | Randal Bryant and Mate Soos |
| Proceedings: | POS PoS'22 FLoC papers |
| Editors: | Daniel Le Berre and Matti Järvisalo |
| Keywords: | Boolean Satisfiability, Gauss-Jordan Elimination, Binary Decision Diagrams, Clausal Proofs |
| Pages: | 12 |
| Talk: | Aug 01 14:30 (Session 34L: Proofs I) |
| Paper: |  |