BibTeX record conf/sbcci/VieiraAF10

• > Home > conf/sbcci/VieiraAF10

@inproceedings{DBLP:conf/sbcci/VieiraAF10,
  author       = {Bernardo C. Vieira and
                  Fabr{\'{\i}}cio Vivas Andrade and
                  Ant{\^{o}}nio Ot{\'{a}}vio Fernandes},
  editor       = {Jo{\~{a}}o Antonio Martino and
                  Guido Araujo and
                  Alex Orailoglu and
                  Felipe Klein},
  title        = {A modular CNF-based {SAT} solver},
  booktitle    = {Proceedings of the 23rd Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2010, S{\~{a}}o Paulo, Brazil, September 6-9,
                  2010},
  pages        = {198--203},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1854153.1854202},
  doi          = {10.1145/1854153.1854202},
  timestamp    = {Tue, 06 Nov 2018 16:58:27 +0100},
  biburl       = {https://dblp.org/rec/conf/sbcci/VieiraAF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}