HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Randal Bryant

Publications
Combining CDCL, Gauss-Jordan Elimination, and Proof Generation
Mate Soos and Randal Bryant
EasyChair Preprint 8497
TBUDDY: a Proof-Generating BDD Package
Randal Bryant
EasyChair Preprint 8471

Keyphrases

Binary Decision Diagrams2, Boolean satisfiability, clausal proofs2, Gauss-Jordan Elimination, Gaussian elimination.

Copyright © 2012-2025 easychair.org. All rights reserved.