A Feasibly Constructive Lower Bound for Resolution Proofs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stephen A. Cook, Toniann Pitassi. A Feasibly Constructive Lower Bound for Resolution Proofs. Inf. Process. Lett., 34(2):81-85, 1990.

@article{CookP90,
  title = {A Feasibly Constructive Lower Bound for Resolution Proofs},
  author = {Stephen A. Cook and Toniann Pitassi},
  year = {1990},
  researchr = {https://researchr.org/publication/CookP90},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {34},
  number = {2},
  pages = {81-85},
}

runs on WebDSL