BibTeX record conf/aips/NelsonK08

download as .bib file

@inproceedings{DBLP:conf/aips/NelsonK08,
  author       = {Blaine Nelson and
                  T. K. Satish Kumar},
  editor       = {Jussi Rintanen and
                  Bernhard Nebel and
                  J. Christopher Beck and
                  Eric A. Hansen},
  title        = {CircuitTSAT: {A} Solver for Large Instances of the Disjunctive Temporal
                  Problem},
  booktitle    = {Proceedings of the Eighteenth International Conference on Automated
                  Planning and Scheduling, {ICAPS} 2008, Sydney, Australia, September
                  14-18, 2008},
  pages        = {232--239},
  publisher    = {{AAAI}},
  year         = {2008},
  url          = {http://www.aaai.org/Library/ICAPS/2008/icaps08-029.php},
  timestamp    = {Fri, 05 Feb 2021 17:14:52 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/NelsonK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.