BibTeX record conf/ictai/SegundoTPR08

download as .bib file

@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    = {20th {IEEE} International Conference on Tools with Artificial Intelligence
                  {(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2},
  pages        = {59--65},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICTAI.2008.127},
  doi          = {10.1109/ICTAI.2008.127},
  timestamp    = {Fri, 24 Mar 2023 00:04:31 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/SegundoTPR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}