Bounds on the Size of PC and URC Formulas - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Petr Kucera, Petr Savický. Bounds on the Size of PC and URC Formulas. J. Artif. Intell. Res. (JAIR), 69:1395-1420, 2020. [doi]

@article{KuceraS20-0,
  title = {Bounds on the Size of PC and URC Formulas},
  author = {Petr Kucera and Petr Savický},
  year = {2020},
  doi = {10.1613/jair.1.12006},
  url = {https://doi.org/10.1613/jair.1.12006},
  researchr = {https://researchr.org/publication/KuceraS20-0},
  cites = {0},
  citedby = {0},
  journal = {J. Artif. Intell. Res. (JAIR)},
  volume = {69},
  pages = {1395-1420},
}

runs on WebDSL