BibTeX record conf/gcai/BeldiceanuCFLPP15

• > Home > conf/gcai/BeldiceanuCFLPP15

@inproceedings{DBLP:conf/gcai/BeldiceanuCFLPP15,
  author       = {Nicolas Beldiceanu and
                  Mats Carlsson and
                  Pierre Flener and
                  Xavier Lorca and
                  Justin Pearson and
                  Thierry Petit and
                  Charles Prud'homme},
  editor       = {Georg Gottlob and
                  Geoff Sutcliffe and
                  Andrei Voronkov},
  title        = {A Modelling Pearl with Sortedness Constraints},
  booktitle    = {Global Conference on Artificial Intelligence, {GCAI} 2015, Tbilisi,
                  Georgia, October 16-19, 2015},
  series       = {EPiC Series in Computing},
  volume       = {36},
  pages        = {27--41},
  publisher    = {EasyChair},
  year         = {2015},
  url          = {https://doi.org/10.29007/b4dz},
  doi          = {10.29007/B4DZ},
  timestamp    = {Sun, 15 Aug 2021 00:16:53 +0200},
  biburl       = {https://dblp.org/rec/conf/gcai/BeldiceanuCFLPP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}