BibTeX record conf/msn/FanDTD14

download as .bib file

@inproceedings{DBLP:conf/msn/FanDTD14,
  author       = {Quanrun Fan and
                  Zhenhua Duan and
                  Cong Tian and
                  Hongwei Du},
  title        = {Clustering and Partition Based Divide and Conquer for {SAT} Solving},
  booktitle    = {10th International Conference on Mobile Ad-hoc and Sensor Networks,
                  {MSN} 2014, Maui, HI, USA, December 19-21, 2014},
  pages        = {299--307},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/MSN.2014.48},
  doi          = {10.1109/MSN.2014.48},
  timestamp    = {Fri, 24 Mar 2023 00:03:20 +0100},
  biburl       = {https://dblp.org/rec/conf/msn/FanDTD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics