Lower bound based DDD minimization for efficient symbolic circuit analysis | IEEE Conference Publication | IEEE Xplore