A SAT Solver Using Software and Reconfigurable Hardware - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Iouliia Skliarova, António de Brito Ferrari. A SAT Solver Using Software and Reconfigurable Hardware. In 2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France. pages 1094, IEEE Computer Society, 2002. [doi]

This author has not been identified. Look up 'Iouliia Skliarova' in GoogleThis author has not been identified. Look up 'António de Brito Ferrari' in Google

runs on WebDSL