Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers | IEEE Conference Publication | IEEE Xplore