BibTeX record conf/sara/AbreuG09

download as .bib file

@inproceedings{DBLP:conf/sara/AbreuG09,
  author       = {Rui Abreu and
                  Arjan J. C. van Gemund},
  editor       = {Vadim Bulitko and
                  J. Christopher Beck},
  title        = {A Low-Cost Approximate Minimal Hitting Set Algorithm and its Application
                  to Model-Based Diagnosis},
  booktitle    = {Eighth Symposium on Abstraction, Reformulation, and Approximation,
                  {SARA} 2009, Lake Arrowhead, California, USA, 8-10 August 2009},
  publisher    = {{AAAI}},
  year         = {2009},
  url          = {http://www.aaai.org/ocs/index.php/SARA/SARA09/paper/view/834},
  timestamp    = {Tue, 08 Mar 2022 16:30:34 +0100},
  biburl       = {https://dblp.org/rec/conf/sara/AbreuG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics