BibTeX record conf/ijcai/HoffmannGSK07

download as .bib file

@inproceedings{DBLP:conf/ijcai/HoffmannGSK07,
  author       = {J{\"{o}}rg Hoffmann and
                  Carla P. Gomes and
                  Bart Selman and
                  Henry A. Kautz},
  editor       = {Manuela M. Veloso},
  title        = {{SAT} Encodings of State-Space Reachability Problems in Numeric Domains},
  booktitle    = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
                  on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  pages        = {1918--1923},
  year         = {2007},
  url          = {http://ijcai.org/Proceedings/07/Papers/309.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:39 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/HoffmannGSK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics