BibTeX record conf/vlsi/WilleFGGED07

• > Home > conf/vlsi/WilleFGGED07

@inproceedings{DBLP:conf/vlsi/WilleFGGED07,
  author       = {Robert Wille and
                  G{\"{o}}rschwin Fey and
                  Daniel Gro{\ss}e and
                  Stephan Eggersgl{\"{u}}{\ss} and
                  Rolf Drechsler},
  title        = {{SWORD:} {A} {SAT} like Prover Using Word Level Information},
  booktitle    = {VLSI-SoC: Advanced Topics on Systems on a Chip - {A} Selection of
                  Extended Versions of the Best Papers of the Fourteenth International
                  Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007),
                  October 15-17, 2007, Atlanta, {USA}},
  series       = {{IFIP}},
  volume       = {291},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-0-387-89558-1\_10},
  doi          = {10.1007/978-0-387-89558-1\_10},
  timestamp    = {Sun, 02 Jun 2019 21:23:56 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsi/WilleFGGED07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}