%0 Conference Paper %1 conf/iccd/XiZ04 %A Xi, Jinwen %A Zhong, Peixin %B ICCD %D 2004 %I IEEE Computer Society %K dblp %P 502-504 %T Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements using SystemC. %U http://dblp.uni-trier.de/db/conf/iccd/iccd2004.html#XiZ04 %@ 0-7695-2231-9

@inproceedings{conf/iccd/XiZ04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Xi, Jinwen and Zhong, Peixin}, biburl = {https://www.bibsonomy.org/bibtex/2d4c4c04f09b3859db0eb6bece349f662/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.2004.1347968}, interhash = {5d2072c7d6aed1da979ce66222b61f5e}, intrahash = {d4c4c04f09b3859db0eb6bece349f662}, isbn = {0-7695-2231-9}, keywords = {dblp}, pages = {502-504}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:22:57.000+0200}, title = {Hardware/Software Co-Modeling of SAT Solver Based on Distributed Computing Elements using SystemC.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2004.html#XiZ04}, year = 2004 }