Recognizing Disguised NR(1) Instances of the Satisfiability Problem - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Bengt Aspvall. Recognizing Disguised NR(1) Instances of the Satisfiability Problem. J. Algorithms, 1(1):97-103, 1980.

@article{Aspvall80,
  title = {Recognizing Disguised NR(1) Instances of the Satisfiability Problem},
  author = {Bengt Aspvall},
  year = {1980},
  researchr = {https://researchr.org/publication/Aspvall80},
  cites = {0},
  citedby = {0},
  journal = {J. Algorithms},
  volume = {1},
  number = {1},
  pages = {97-103},
}

runs on WebDSL