A Novel SAT All-Solutions Solver for Efficient Preimage Computation

Publication Type  Conference Proceedings
Author  Li B, Hsiao MS, Sheng S
Year of Conference  2004
Conference Name  Proceedings of the IEEE/ACM Design Automation and Test in Europe (DATE) Conference
Date Published  02/2004
Conference Location  Paris, France
Citation Key  16