The Community for Technology Leaders
Design, Automation & Test in Europe Conference & Exhibition (2002)
Paris, France
Mar. 4, 2002 to Mar. 8, 2002
ISBN: 0-7695-1471-5
pp: 1094
INDEX TERMS
CITATION
I. Skliarova, A. Ferrari, "A SAT Solver Using Software and Reconfigurable Hardware", Design, Automation & Test in Europe Conference & Exhibition, vol. 00, no. , pp. 1094, 2002, doi:10.1109/DATE.2002.998450
92 ms
(Ver 3.3 (11022016))