Keyword:BDD

Publications
DQBDD: An Efficient BDD-Based DQBF Solver Juraj Síč and Jan Strejček EasyChair Preprint 5948
Encoding PB Constraints into SAT via Binary Adders and BDDs -- Revisited Neng-Fa Zhou and Håkan Kjellerstrand EasyChair Preprint 154