Keyword:Binary Decision Diagrams

Papers
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