DBLP Record 'conf/aia/SteinNL06'

BibTeX

@inproceedings{DBLP:conf/aia/SteinNL06,
  author    = {Benno Stein and
               Oliver Niggemann and
               Theodor Lettmann},
  title     = {Speeding Up Model-based Diagnosis by a Heuristic Approach
               to Solving SAT},
  booktitle = {Artificial Intelligence and Applications},
  year      = {2006},
  pages     = {273-278},
  crossref  = {DBLP:conf/aia/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aia/2006,
  editor    = {Vladan Devedzic},
  title     = {IASTED International Conference on Artificial Intelligence
               and Applications, part of the 24th Multi-Conference on Applied
               Informatics, Innsbruck, Austria, February 13-16, 2006},
  booktitle = {Artificial Intelligence and Applications},
  publisher = {IASTED/ACTA Press},
  year      = {2006},
  isbn      = {0-88986-558-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}