Implementing Efficient All Solutions SAT Solvers - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Takahisa Toda, Takehide Soh. Implementing Efficient All Solutions SAT Solvers. ACM Journal of Experimental Algorithmics, 21(1), 2016. [doi]

@article{TodaS16,
  title = {Implementing Efficient All Solutions SAT Solvers},
  author = {Takahisa Toda and Takehide Soh},
  year = {2016},
  doi = {10.1145/2975585},
  url = {http://doi.acm.org/10.1145/2975585},
  researchr = {https://researchr.org/publication/TodaS16},
  cites = {0},
  citedby = {0},
  journal = {ACM Journal of Experimental Algorithmics},
  volume = {21},
  number = {1},
}

runs on WebDSL