DBLP BibTeX Record 'conf/ictai/Habet08'

@inproceedings{DBLP:conf/ictai/Habet08,
  author    = {Djamal Habet},
  title     = {Enhancing the Robustness/Efficiency of Local Search Algorithms
               for SAT},
  booktitle = {ICTAI (1)},
  year      = {2008},
  pages     = {255-262},
  ee        = {http://dx.doi.org/10.1109/ICTAI.2008.121},
  crossref  = {DBLP:conf/ictai/2008-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ictai/2008-1,
  title     = {20th IEEE International Conference on Tools with Artificial
               Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio,
               USA, Volume 1},
  booktitle = {ICTAI (1)},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}