%0 Journal Article %1 journals/jair/KuceraS20 %A Kucera, Petr %A Savický, Petr %D 2020 %J J. Artif. Intell. Res. %K dblp %P 1395-1420 %T Bounds on the Size of PC and URC Formulas. %U http://dblp.uni-trier.de/db/journals/jair/jair69.html#KuceraS20 %V 69

@article{journals/jair/KuceraS20, added-at = {2021-01-09T00:00:00.000+0100}, author = {Kucera, Petr and Savický, Petr}, biburl = {https://www.bibsonomy.org/bibtex/22e6ec92bb6f2093add7f9a0e4d7bb312/dblp}, ee = {https://doi.org/10.1613/jair.1.12006}, interhash = {91ce281b39d3957737a0e11f22d901cd}, intrahash = {2e6ec92bb6f2093add7f9a0e4d7bb312}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {1395-1420}, timestamp = {2024-04-08T20:02:41.000+0200}, title = {Bounds on the Size of PC and URC Formulas.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair69.html#KuceraS20}, volume = 69, year = 2020 }