BibTeX record conf/ijcai/PulinaT09

• > Home > conf/ijcai/PulinaT09

@inproceedings{DBLP:conf/ijcai/PulinaT09,
  author    = {Luca Pulina and
               Armando Tacchella},
  title     = {A Structural Approach to Reasoning with Quantified Boolean Formulas},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {596--602},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/105.pdf},
  timestamp = {Tue, 20 Aug 2019 16:18:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/PulinaT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ijcai/2009,
  editor    = {Craig Boutilier},
  title     = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  url       = {http://ijcai.org/proceedings/2009},
  timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}