A Novel SAT All-Solutions Solver for Efficient Preimage Computation.

Bin Li, Michael S. Hsiao, Shuo Sheng

Browse the full DATE paper archive.