• CUDD

  • Referenced in 158 articles [sw04446]
  • The CUDD package provides functions to manipulate Binary...
  • Sycraft

  • Referenced in 7 articles [sw08199]
  • Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance...
  • BDDNOW

  • Referenced in 6 articles [sw08898]
  • BDDNOW: A Parallel BDD Package. BDDs (binary decision...