BibTeX record conf/isaim/DilkinaGS08

download as .bib file

@inproceedings{DBLP:conf/isaim/DilkinaGS08,
  author       = {Bistra Dilkina and
                  Carla P. Gomes and
                  Ashish Sabharwal},
  title        = {Tradeoffs in Backdoors: Inconsistency Detection, Dynamic Simplification,
                  and Preprocessing},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  {ISAIM} 2008, Fort Lauderdale, Florida, USA, January 2-4, 2008},
  year         = {2008},
  url          = {http://isaim2008.unl.edu/PAPERS/TechnicalProgram/ISAIM2008\_0068\_52aac45cbd48da479711d1c960b7be35.pdf},
  timestamp    = {Thu, 12 Mar 2020 11:39:29 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/DilkinaGS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}