Bin Li, Michael S. Hsiao, Shuo Sheng. A Novel SAT All-Solutions Solver for Efficient Preimage Computation. In 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France. pages 272-279, IEEE Computer Society, 2004. [doi]
Abstract is missing.