BibTeX record conf/vlsi/ZuimSC06

• > Home > conf/vlsi/ZuimSC06

@inproceedings{DBLP:conf/vlsi/ZuimSC06,
  author       = {Romanelli Lodron Zuim and
                  Jos{\'{e}} T. de Sousa and
                  Claudionor Jos{\'{e}} Nunes Coelho Jr.},
  title        = {A Fast {SAT} Solver Strategy Based on Negated Clauses},
  booktitle    = {{IFIP} VLSI-SoC 2006, {IFIP} {WG} 10.5 International Conference on
                  Very Large Scale Integration of System-on-Chip, Nice, France, 16-18
                  October 2006},
  pages        = {110--115},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/VLSISOC.2006.313213},
  doi          = {10.1109/VLSISOC.2006.313213},
  timestamp    = {Sat, 05 Sep 2020 18:05:21 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsi/ZuimSC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}