面向多核环境的BDD工具设计与优化,施佳鑫,陈榕,针对传统二分决策图(BDD)可扩展性(Scalability)问题,提出了一种面向多核处理器的并行BDD库的方法,利用顺序锁(seqlock)以及原子性比较��