%0 Journal Article %1 journals/amai/WojciechowskiS22 %A Wojciechowski, Piotr %A Subramani, K. %D 2022 %J Ann. Math. Artif. Intell. %K dblp %N 10 %P 979-998 %T On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems. %U http://dblp.uni-trier.de/db/journals/amai/amai90.html#WojciechowskiS22 %V 90

@article{journals/amai/WojciechowskiS22, added-at = {2024-02-09T00:00:00.000+0100}, author = {Wojciechowski, Piotr and Subramani, K.}, biburl = {https://www.bibsonomy.org/bibtex/2585c685278ada7670e2ee624e0629ae9/dblp}, ee = {https://doi.org/10.1007/s10472-022-09800-7}, interhash = {f1697c95ad1590bbd7ab8d7df1698b55}, intrahash = {585c685278ada7670e2ee624e0629ae9}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 10, pages = {979-998}, timestamp = {2024-04-08T16:48:48.000+0200}, title = {On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systems.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai90.html#WojciechowskiS22}, volume = 90, year = 2022 }