BibTeX record conf/ijcai/BelovJS11

download as .bib file

@inproceedings{DBLP:conf/ijcai/BelovJS11,
  author    = {Anton Belov and
               Matti J{\"{a}}rvisalo and
               Zbigniew Stachniak},
  title     = {Depth-Driven Circuit-Level Stochastic Local Search for {SAT}},
  booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  pages     = {504--509},
  year      = {2011},
  crossref  = {DBLP:conf/ijcai/2011},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-092},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-092},
  timestamp = {Thu, 15 Jun 2017 21:42:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/BelovJS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2011,
  editor    = {Toby Walsh},
  title     = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
               on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
               2011},
  publisher = {{IJCAI/AAAI}},
  year      = {2011},
  url       = {http://ijcai.org/proceedings/2011},
  isbn      = {978-1-57735-516-8},
  timestamp = {Wed, 20 Jul 2016 14:35:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier