%0 Journal Article %1 journals/dam/PeitlS23 %A Peitl, Tomás %A Szeider, Stefan %D 2023 %J Discret. Appl. Math. %K dblp %P 173-184 %T Are hitting formulas hard for resolution? %U http://dblp.uni-trier.de/db/journals/dam/dam337.html#PeitlS23 %V 337

@article{journals/dam/PeitlS23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Peitl, Tomás and Szeider, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/22ec4200d46d7d18cfe7a19fdc8fe1ddf/dblp}, ee = {https://doi.org/10.1016/j.dam.2023.05.003}, interhash = {986af64f232e2837462afbf9be0fcd5d}, intrahash = {2ec4200d46d7d18cfe7a19fdc8fe1ddf}, journal = {Discret. Appl. Math.}, keywords = {dblp}, month = {October}, pages = {173-184}, timestamp = {2024-04-09T01:27:20.000+0200}, title = {Are hitting formulas hard for resolution?}, url = {http://dblp.uni-trier.de/db/journals/dam/dam337.html#PeitlS23}, volume = 337, year = 2023 }