adf-bdd-bin • Rank 13.4 • Science 54%

Abstract Dialectical Frameworks solved by Binary Decision Diagrams; developed in Dresden (ADF-BDD)