Iouliia Skliarova, António de Brito Ferrari
A SAT Solver Using Software and Reconfigurable Hardware
DATE, 2002.
@inproceedings{DATE-2002-SkliarovaF,
acmid = "874465",
author = "Iouliia Skliarova and António de Brito Ferrari",
booktitle = "{Proceedings of the Seventh Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.2002.998450",
isbn = "0-7695-1471-5",
pages = "1094",
publisher = "{IEEE Computer Society}",
title = "{A SAT Solver Using Software and Reconfigurable Hardware}",
year = 2002,
}