Home › Biblio

A Novel SAT All-Solutions Solver for Efficient Preimage Computation

Mon, 08/18/2008 - 08:53 — admin
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