%0 Conference Paper %1 conf/ic-nc/LiuMW15 %A Liu, Heng %A MacCaully, Wendy %A Wang, Xu %B CANDAR %D 2015 %I IEEE Computer Society %K dblp %P 127-132 %T An Efficient SAT Solving Algorithm Using Pseudo-Conflict Learning and Heterogeneous Computing. %U http://dblp.uni-trier.de/db/conf/ic-nc/candar2015.html#LiuMW15 %@ 978-1-4673-9797-1

@inproceedings{conf/ic-nc/LiuMW15, added-at = {2016-04-29T00:00:00.000+0200}, author = {Liu, Heng and MacCaully, Wendy and Wang, Xu}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21967619d612fe501f6097278c7ca7694/dblp}, booktitle = {CANDAR}, crossref = {conf/ic-nc/2015}, ee = {http://doi.ieeecomputersociety.org/10.1109/CANDAR.2015.75}, interhash = {0f597b5d523330af4f127f3c8182d3fe}, intrahash = {1967619d612fe501f6097278c7ca7694}, isbn = {978-1-4673-9797-1}, keywords = {dblp}, pages = {127-132}, publisher = {IEEE Computer Society}, timestamp = {2016-04-30T09:32:33.000+0200}, title = {An Efficient SAT Solving Algorithm Using Pseudo-Conflict Learning and Heterogeneous Computing.}, url = {http://dblp.uni-trier.de/db/conf/ic-nc/candar2015.html#LiuMW15}, year = 2015 }