A software/reconfigurable hardware SAT solver - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Iouliia Skliarova, António de Brito Ferrari. A software/reconfigurable hardware SAT solver. IEEE Trans. VLSI Syst., 12(4):408-419, 2004.

@article{SkliarovaF04,
  title = {A software/reconfigurable hardware SAT solver},
  author = {Iouliia Skliarova and António de Brito Ferrari},
  year = {2004},
  researchr = {https://researchr.org/publication/SkliarovaF04},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. VLSI Syst.},
  volume = {12},
  number = {4},
  pages = {408-419},
}

runs on WebDSL