Keyword:Binary Decision Diagrams

Papers
Combining CDCL, Gauss-Jordan Elimination, and Proof Generation Mate Soos and Randal Bryant EasyChair Preprint no. 8497
TBUDDY: a Proof-Generating BDD Package Randal Bryant EasyChair Preprint no. 8471
BDD-based automated reasoning in propositional non-classical logics: progress report Rajeev Gore and Jimmy Thomson In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning Jason Crampton, Michael Huth and Jim Huan-Pu Kuo In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Extended Resolution as Certificates for Propositional Logic Chantal Keller In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving