BibTeX record conf/sac/RosaGO11

download as .bib file

@inproceedings{DBLP:conf/sac/RosaGO11,
  author       = {Emanuele Di Rosa and
                  Enrico Giunchiglia and
                  Barry O'Sullivan},
  editor       = {William C. Chu and
                  W. Eric Wong and
                  Mathew J. Palakal and
                  Chih{-}Cheng Hung},
  title        = {Optimal stopping methods for finding high quality solutions to satisfiability
                  problems with preferences},
  booktitle    = {Proceedings of the 2011 {ACM} Symposium on Applied Computing (SAC),
                  TaiChung, Taiwan, March 21 - 24, 2011},
  pages        = {901--906},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1982185.1982382},
  doi          = {10.1145/1982185.1982382},
  timestamp    = {Sun, 02 Oct 2022 16:14:27 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/RosaGO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics