Search-based SAT using zero-suppressed BDDs | IEEE Conference Publication | IEEE Xplore