DBLP Record 'conf/ictai/SegundoTPR08'

BibTeX

@inproceedings{DBLP:conf/ictai/SegundoTPR08,
  author    = {Pablo San Segundo and
               Crist{\'o}bal Tapia and
               Julio Puente and
               Diego Rodr\'{\i}guez-Losada},
  title     = {A New Exact Bit-Parallel Algorithm for SAT},
  booktitle = {ICTAI (2)},
  year      = {2008},
  pages     = {59-65},
  ee        = {http://dx.doi.org/10.1109/ICTAI.2008.127},
  crossref  = {DBLP:conf/ictai/2008-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ictai/2008-2,
  title     = {20th IEEE International Conference on Tools with Artificial
               Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio,
               USA, Volume 2},
  booktitle = {ICTAI (2)},
  publisher = {IEEE Computer Society},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}