BibTeX record conf/inap/WolfS05

• > Home > conf/inap/WolfS05

@inproceedings{DBLP:conf/inap/WolfS05,
  author       = {Armin Wolf and
                  Gunnar Schrader},
  editor       = {Masanobu Umeda and
                  Armin Wolf and
                  Oskar Bartenstein and
                  Ulrich Geske and
                  Dietmar Seipel and
                  Osamu Takata},
  title        = {\emph{O}(\emph{n} log\emph{n}) Overload Checking for the Cumulative
                  Constraint and Its Application},
  booktitle    = {Declarative Programming for Knowledge Management, 16th International
                  Conference on Applications of Declarative Programming and Knowledge
                  Management, {INAP} 2005, Fukuoka, Japan, October 22-24, 2005, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4369},
  pages        = {88--101},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11963578\_8},
  doi          = {10.1007/11963578\_8},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/WolfS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}